MCP_SERVER
27
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
MCP & Tools / 工具连接器Safe-ishScanned
Axiomatic-AI
1 skills Unclaimed
1 skills Unclaimed
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.