KrystianYCSilva

1 mods across 1 repository, 1 stars between them.

MCP server Claude CodeCodexCursor

MCP server and client for Lean 4 + Mathlib formal verification. Runs locally from the lean-mcp Python package. Needs 1 environment variable to run.

1 6mo ago A tokens not measured original MIT