Skip to content

Directory Categories Clients Best Guides

Search MCP servers

Loading the directory

Newsletter

The top 5 new MCP servers, daily or weekly. About the newsletter

Company

Email

How oftenWeeklyDaily

Send me the MCPpedia newsletter. I can unsubscribe any time. Privacy

MCPpedia

No paid placement. Rankings follow the published trust score.

Directory

All servers
Official
Remote
New
Trending
Recently updated

Learn

Trust methodology
Guides
Blog
API
llms.txt

Project

About
Submit a server
Newsletter
Privacy
Terms

axiomatic-ai MCP servers | MCPpedia

axiomatic-ai

MCP servers linked to github.com/axiomatic-ai.

1 servers

P

prover

37Limited

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

RegistryRemoteaxiomatic-ai