Search awesome repositories

MCP server for managing Proxmox VE clusters through AI assistants

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

The most comprehensive MCP server for Polymarket — 48 tools spanning direct trading, market discovery, smart money tracking, copy trading, backtesting, risk management, and portfolio optimization. Works with Claude Code, Cursor, or any MCP-compatible client.

MCP server for the Ejentum API. 8 cognitive operations across 4 harnesses (reasoning, code, anti-deception, memory) in dynamic and adaptive modes.

Alcove is an MCP server that gives AI coding agents on-demand access to your private project docs — BM25 + vector hybrid search for precision retrieval, tree-sitter code indexing so agents understand your codebase structure, and policy enforcement for doc consistency.

One memory, every terminal — a shared memory layer for any MCP client.

Advanced cognitive reasoning MCP server — DAG thought graph, 10 strategies, metacognition, self-critique, knowledge integration, and pruning

Chat with your SonarQube data: explore metrics, compare trends, and track issues—effortlessly.

Cloudbet Sports Data MCP Server

MCP server for Microsoft Dataverse Web API for devs !

The finmap.org MCP server provides comprehensive historical data from the US, UK, Russian and Turkish stock exchanges. Access sectors, tickers, company profiles, market cap, volume, value, and trade counts, as well as treemap and histogram visualizations

Credential isolation for AI agents. Local-first transparent proxy — your agent never sees your API keys.

MCP server that lets your ai agent press sound buttons. it's not that deep.

MCP server for the Spaceship API — manage domains, DNS, contacts & marketplace listings via AI

Universal MCP Server for finding + connecting to agents anywhere on the planet. https://hol.org/mcp

CLI and MCP server for LinkedHelper automation — let AI assistants control LinkedIn outreach

The CockroachDB MCP Server is a natural language interface designed for agentic applications to manage, monitor and query data in CockroachDB.

A modern, cross-platform Model Context Protocol (MCP) server that enables AI assistants to browse and interact with both Gopher protocol and Gemini protocol resources safely and efficiently.

Your data, explored locally — and your AI agents kept on a leash. A federated data explorer with governed agentic access.

An MCP server providing curated Swift and SwiftUI best practices from leading iOS sources.

Intelligent PostgreSQL tooling for VS Code | Build, explore, and query Postgres faster

MCP EU AI Act Compliance Scanner - Open source tool to detect EU AI Act violations in codebases

Model Context Protocol (MCP) server for VK (VKontakte) social network API

MCP server for real-time news with bias scoring, live stock/ETF/crypto data, AI options pricing, balanced news synthesis, and meme search. 10 tools, 5000+ sources, free tier.

CoreMCP: Connect Legacy Databases to AI Agents via Model Context Protocol. Open-source bridge for LLM data analysis.

A small FastMCP-based Microservice that renders LaTeX to PDF. The server exposes MCP tools to render raw LaTeX or templates and produces artifacts

63 deterministic quant computation tools for autonomous financial agents. Options, derivatives, risk, portfolio, statistics, crypto/DeFi, macro/FX, TVM. 1,000 free calls/day — no signup.

A detective for your data. Zero-config data quality monitoring — works with dbt, Postgres, BigQuery, Snowflake. No YAML.

MCP Server for Arknights PRTS Wiki and local game data

Read and write Apple Notes, with Apple Notes native formatting support