io.github.jascal/orca-mcp-server
Go from natural language to verified finite state machines — topology bugs caught before code runs.
22,835 servers
Go from natural language to verified finite state machines — topology bugs caught before code runs.
📖 MCP server for fetch deepwiki.com and get latest knowledge in Cursor and other Code Editors
Proof primitive for AI agents on MultiversX. Anchor file hashes on-chain as verifiable proofs.
Conekta — Mexican payment gateway (cards, OXXO cash, SPEI)
Unreal Engine MCP server — 19 tools, 300+ actions for AI-driven editor control
IMAP/SMTP email MCP server — 47 tools, IMAP IDLE push, multi-account, AI triage.
Weather, code search, currency & Solana trust scoring as MCP tools. Free, no API key needed.
vMLX - Home of JANG_Q - Cont Batch, Prefix, Paged, KV Cache Quant, VL - Powers MLX Studio. Image gen/edit, OpenAI/Anth
  
Local-first documentation for AI agents. Offline, instant, private doc retrieval.
TypeScript MCP server for AI-powered containerization workflows with Docker and Kubernetes support
The official TypeScript SDK for Model Context Protocol servers and clients
Advanced GitLab MCP server
Mobile MCP
AI-powered design and management for Webflow Sites
mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.
🚀 OneSearch MCP Server: Web Search & Scraper & Extract, Support agent-browser, SearXNG, Tavily, DuckDuckGo, Bing, etc.
MCP server for interacting with CKAN open data portals
The most autonomous pentesting AI on the market. MCP server + Python agents with 150+ security tools, exploit chaining, and PoC validation.
mcpki-server is the backend infrastructure for https://www.mcpki.org, enabling secure public key management and autonomous certificate handling for large language models (LLMs).