A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-driven optimization, and vector-backed agent memory.

MCP Server connecting to Perplexity Comet browser

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

Interact with the SimpleLocalize API using AI assistants like Github Copilot, Claude, or in AI-powered IDEs like Cursor AI.

a mcp server for polymarket

MCP server providing semantic Java code analysis for AI agents. Built on Eclipse JDT with tools for navigation, refactoring, search, and metrics.

MCP server for ODEI world model — constitutional guardrails, knowledge graph queries, and agent memory via Model Context Protocol

Subconductor is an MCP server that acts as a Persistent State Machine for AI agents. It prevents "context drift" during long refactors by externalizing the task list into a physical manifest. It enables non-linear execution, allowing agents to handle dependencies dynamically while maintaining a transparent, resumable audit trail.

API for National Stock Exchange of India (NSE)

Shell and coding agent on mcp clients

A Model Context Protocol (MCP) server implementation that exposes Pearl's AI and Expert services through a standardized interface

An MCP server to query any Postgres database in natural language.

An MCP server implementation enabling LLMs to work with new APIs and frameworks

Query OpenAI models directly from Claude using MCP protocol.

A Model Context Protocol server that executes commands in the current iTerm session - useful for REPL and CLI assistance

A secure sandbox environment for malware developers and red teamers to test payloads against detection mechanisms before deployment. Integrates with LLM agents via MCP for enhanced analysis capabilities.

A high-performance Model Context Protocol (MCP) server that provides secure filesystem access for Claude and other AI assistants.

Ultimate Context Engineering Infrastructure, starting from MCPs and Integrations

Twelve Data MCP (Model Context Protocol) Server provides seamless, real-time access to financial market data via WebSocket, enabling reliable streaming of price quotes, market metrics, and events directly into your applications.

A Model Context Protocol server for integrating HackMD's note-taking platform with AI assistants.

A middleware to provide an openAI compatible endpoint that can call MCP tools

A2V: Next-Gen AI Value Compute Protocol.

A Model Context Protocol (MCP) server that enables AI assistants to interact with HubSpot CRM data, providing built-in vector storage and caching mechanisms help overcome HubSpot API limitations while improving response times.

mcp-1panel is an implementation of the Model Context Protocol (MCP) server for 1Panel.

Dynamically expose tools from proxied servers based on an Agent Persona

Official PostHog MCP Server 🦔

An MCP server providing tools for image processing operations