Open highlighted repo slot
Put your repository first
Promote a GitHub repo at the top of Awesome repository list views for 7 days.
Awesome List
A collection of MCP servers.
GitHub stars and default-branch commits for punkpeye/awesome-mcp-servers.
Open highlighted repo slot
Promote a GitHub repo at the top of Awesome repository list views for 7 days.
Reliable research infrastructure for AI agents. Evidence-backed web search with citations, confidence scores, and Clarity anti-hallucination. MCP server, REST API, Python SDK.
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.