2
Published Tools
0
Total Stars
0
Weekly Downloads
36
GitHub Followers
9
Public Repos
100/100
Avg Security
Published Tools
2 MCP Serversacross 1 categorycom.axiomatic-ai/prover
A
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
MCP Serveruncategorised
1 dir
axiomatic-mcp
Axiomatic Team <[email protected]>
Modular MCP servers for Axiomatic_AI
MCP Serveruncategorised
2 dirs