Install Leanforge in Claude Code
curl -LO https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpbDownload leanforge-mcp-v0.1.1.mcpb and double-click it to install in Claude Desktop.MCP Bundles install in one click in Claude Desktop. Download the file, then open it.
Frequently asked questions
What does the Leanforge MCP server do?
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
Is the Leanforge MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does Leanforge run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add Leanforge to Claude Code?
Run: curl -LO https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb
More search & web scraping MCP servers
View allMemex
evan-moon/memex
Local-first second brain with semantic search. Markdown notes indexed by a local ML model.
Jobo Job Search
JoboAI/jobo-mcp
Search a live index of millions of open jobs from employer career sites and 100+ ATS platforms.
Memory Lean
zamansheikh/memory-lean
Token-lean memory for AI agents: a knowledge graph searched cheaply. Drop-in for server-memory.
IndieStack
Pattyboi101/indiestack
Search 3,100+ developer tools via MCP. Install commands, compatibility data, health scores.
Memory OS AI
romainsantoli-web/Memory-os-ai
Adaptive memory for AI agents — FAISS search, chat extraction, cross-project linking
Inbox to Action
tarunlnmiit/inbox-to-action
Agentic Gmail triage: classify, summarize, extract tasks, draft replies. Never sends.