Modular MCP servers for Axiomatic_AI
Free
2 servers across data science & ml and developer tools & repos. The largest is Axiomatic.
Data Science & ML · Developer Tools & Repos
2
servers published
2 categories
38k
downloads
counted by the registries
0
followers
told when a release lands
1 of 2
security-scanned
servers with a scan grade
2 MCP servers, most downloaded first. 2 of 2 are free to start.
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Free
Authentication
1 of 2 use OAuth
The rest either hold an API key issued by the publisher or ask for nothing.
Support
Community publisher
Listed without a verification tick. Read the listing before installing.