L
leanforge-mcp
io.github.sandraschi/leanforge-mcp
MCP server for AI-driven formal proof search in Lean 4
Version0.1.0
Remote accessNO
Local installYES
Packagesmcpb
First seen26 Sept 2026
Last seen4d ago
Capabilities
Matched from the publisher's description · automatic, low confidenceNo capability identified yet.
Facts & evidence
Each fact shows where it was seen and when.| Fact | Value | Evidence | Source | Last confirmed |
|---|---|---|---|---|
| Package registries | mcpb | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Local install (package) | yes | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Remote access (hosted) | no | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Repository | https://github.com/sandraschi/leanforge-mcp | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Registry status | active | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Version | 0.1.0 | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| MCP server | yes | DECLARED | SRC-001 Official MCP Registry | 4d ago |
Change history
Baseline
No change detected yet. History builds up as the robots revisit this server.