Servers by axiomatic-ai

Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold. Every figure on a card is counted from this marketplace's own rows.

Browse stacks Start publishing

Filters

Verified publishers only Has a free tier No local install needed Answers through mcprush Tools declared Only what I saved 0 Already in one of my lists

Pricing model

Free2

2 MCP servers

Scanned where there is a package or repository to read — the grade is on each server's page

Works with Grok BuildBy axiomatic-ai

Axiomatic

axiomatic-ai·Data Science & ML

Modular MCP servers for Axiomatic_AI

64/day 42 tools

Free

Prover

axiomatic-ai·Developer Tools & Repos

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Free

Compare

tick one more

Side-by-side

mcprush

Find MCP servers and skills for your AI apps. Publish your own tools and reach people who need them.

For customers

MCP Servers
Agent skills
Stacks
Pricing
Trust & scanning

For publishers

Publish a tool
Publisher fees
MCP hosting
Why us?
Developer Guide

Developers

MCP endpoint
CLI reference
Gateway API
Top 50 MCP
Affiliate program

Company

Blog
About
For Investors
Careers
Contact