Leanforge MCP Server
by sandraschiio.github.sandraschi/leanforge-mcpv0.1.0
MCP server for AI-driven formal proof search in Lean 4
context tax
queued
security
queued
cold start
queued
freshness
Active8d ago
Install Leanforge MCP server
No published package or hosted endpoint yet — see the repository README for build-from-source instructions.
Freshness
Active — last maintenance signal 8d ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-10-02 · 8d ago · GitHub
Latest release
2026-08-28 · 43d ago · GitHub · v0.1.0
Package published
no data · npm/PyPI
Registry entry updated
2026-08-28 · 43d ago · official registry · v0.1.0
FAQ
›Does Leanforge require an API key?
No required environment variables are declared in its published metadata.
›Can I use Leanforge as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Leanforge in the official MCP registry?
Yes, as io.github.sandraschi/leanforge-mcp.