mcp-server.io

leanforge-mcp

io.github.sandraschi/leanforge-mcp

95
security score

MCP server for AI-driven formal proof search in Lean 4

Repository ↗
GitHub stars
—
Last commit
never
Transport
stdio

Security scan

Last scanned 6 days ago — static analysis of the published manifest.

  • lowManifest makes network requests.