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

Free1

1 MCP server

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

Developer Tools & ReposWorks with PerplexityBy axiomatic-ai

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