Search
mcp-z3-prover
MCP server exposing Z3 solver API
mcp-rs485
MCP server that exposes RS485 bus connectivity
agent-identity-protocol
sunilp
Verifiable cryptographic identity and delegation for AI agents across MCP and A2A
mcp-number-theory
MCP server exposing number theory functions and factorization algorithms from RsaCtfTool
synapps-mcp
Code intelligence MCP server — indexes codebases into a queryable graph of symbols, call chains, and relationships
io.github.broisnischal/azure-mcp
Azure DevOps Boards work items over MCP (stdio). Requires Bun, org, project, and PAT.
io.github.daedalus/mcp-telegram-bot
MCP server that exposes a Telegram bot
io.github.drhelius/gearboy
drhelius
MCP server for Gearboy Nintendo Game Boy / Game Boy Color emulator
io.github.es617/obsidian-sync-mcp
Give AI agents access to your Obsidian vault via local files or Self-hosted LiveSync.
io.github.kingbbs/yiditu-mcp
I Ching hexagram analysis and geographic feng shui for Taiwan locations
DevPilot
[object Object]
Description Welcome to DevPilot: Your AI-Infused Code Copilot for IntelliJ IDEA! Take a Glimpse Unleash the power of AI in your coding with DevPilot, your new coding...
...moreio.github.mnardit/clipboard-mcp
Cross-platform MCP server for system clipboard access (read, write, watch)
io.github.piiiico/agentlair
piiiico
Give AI agents a real @agentlair.dev email address and encrypted vault. Send/receive email.
a2db
Denis Tomilin
Agent-to-Database — CLI and MCP server for AI agents to query databases.
mcp-zabbix
MCP server for Zabbix API - exposes all Zabbix API functionality via MCP
io.github.vkhanhqui/figma-mcp-go
A zero-cost, unlimited Figma MCP server — no API key, no rate limits
io.github.zemloai-ctrl/elecz
Real-time Nordic electricity spot prices for AI agents. Finland, Sweden, Norway, Denmark.
sh.antrieb/antrieb
jade-pico
Validates AI-generated infra code on real VMs. Runs the code and self-corrects until it works.
chiark-mcp
e8dbfba8-4b9d-42c8-bef2-b55025a3d599
Find the most reliable AI agent for any task. Search 2,000+ agents across A2A and MCP with quality filters - min uptime, max latency, score thresholds. Check if an agent is alive before routing to it. Like Artificial Analysis, but for agent services.
...moreformfill-mcp
ca80fd89-508a-4835-936f-6d13fba87718
Fill any interactive PDF form from your AI agent — tax forms, HR paperwork, legal documents — in a single tool call. Supports W-9, W-4, I-9, lease agreements, insurance forms, and more.
...more