prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
MCP serverAgents
What we know
| MCP server | Yessource, checked 2026-11-15 |
|---|
Alternatives
None listed.
Is your tool an alternative to prover? Sponsor this spot for 30 days, marked Sponsored.
Integrations
None listed.
Built on
None listed.
Related tools
- Claude CodeAnthropic agentic coding across terminal, IDE, desktop, and web
- Ralph OrchestratorRalph Wiggum technique for autonomous AI agent orchestration — improved multi-agent coordination implementation
- skills.shReusable agent skills directory and CLI — add capabilities to Cursor, Claude Code, and AI agents in one command
- YaoOpen-source engine for autonomous agents — event-driven, proactive, and self-scheduling AI applications
- AutoGen StudioUI for AutoGen multi-agent apps
- AutoGenMicrosoft's open-source framework for conversational multi-agent AI systems
- BotpressOpen-source AI chatbot platform — build, deploy, and scale enterprise conversational AI
- ChatbaseBuild custom ChatGPT chatbots trained on your data — no code required
- ChatJimmyMulti-model AI chat interface — access GPT, Claude, Gemini, and more from a single unified interface
- Windsurf Agent (Codeium)Agentic AI coding from Codeium — multi-step autonomous code changes with Cascade
For the team behind prover
Growth plan: from $399 a month
SEO, AI search (how ChatGPT, Perplexity and Google describe prover), UX, CRO and support from one account manager, with a monthly report. Includes a Featured launch on db.fyi. Starts with a free audit.
Founding offer: $299 a month for your first 3 months, plus a free case study.
Listed 2026-11-15 · updated 2026-11-15