3
Published Tools
24
Total Stars
327
Weekly Downloads
48
GitHub Followers
12
Public Repos
100/100
Avg Security
Published Tools
3 MCP Serversacross 1 categoryAxiomatic Team <[email protected]>
Modular MCP servers for Axiomatic_AI
MCP Serveruncategorised
243 dirs
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
MCP Serveruncategorised
1 dir