leanforge mcp MCP

v0.1.0

io.github.sandraschi/leanforge-mcp

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

transport:stdio runtime:mcpb

This listing carries neither a published package nor a remote endpoint, so there is no ready-made client configuration. See the repository or website for setup instructions.

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.

Runtime

Transport stdio

Registry mcpb

Package https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb

Version 0.1.0

Provenance Official registry

Want a slot? Make an offer

Registry record

Repository https://github.com/sandraschi/leanforge-mcp

Synced 15 h ago

JSON API /api/v0/servers/io.github.sandraschi/leanforge-mcp