Com.Axiomatic Ai/Prover
openbooklet.com/mcp/com-axiomatic-ai-proveropenbooklet.com/mcp/com-axiomatic-ai-prover@0.1.0GET /api/v1/mcp-servers/com-axiomatic-ai-proverLean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Other
Connects AI agents to external tools and services via the Model Context Protocol.
More by mcp-registry
AdAdvisor MCP Server
Query Meta Ads performance data — accounts, campaigns, ad sets, ads, metrics & settings.
Docs Mcp
Provides Vaadin Documentation and help with development tasks
Monarchmoney
Monarch Money API client with 30 MCP tools for accounts, transactions, budgets, and cashflow.
World Airfares Flight Search
Flight search MCP server providing search, pagination, and itinerary details for AI assistants.
Mcp Server
52 MCP tools for AI social media: create, distribute, analyze, and optimize content.
Com.Tip4serv/Mcp Server
Monetize and manage your Tip4Serv store directly from your LLM.
Related MCP servers
AdAdvisor MCP Server
Query Meta Ads performance data — accounts, campaigns, ad sets, ads, metrics & settings.
Fiber AI
Search companies, enrich contacts, and reveal emails and phones from your AI agent.
Mcpcap
An MCP server for analyzing PCAP files.
SpecProof
SpecProof: Search standards specs with MCP-ready precision.
Jooq Mcp
An MCP server that provides access to the jOOQ documentation
Mcp Server
MCP Server für Forterro Proffix Px5 ERP