Axiomatic Prover
Axiomatic AI
Lean 4 theorem prover that compiles proofs and formalizes mathematics with Mathlib integration.
Classification
official
Est Visitors (Week)
4k
Release Date
Feb 23, 2026
MCP ServerOfficial Provider
Axiomatic AI
Directory Presence
Cross-referenced across 55 tracked directories
Directory
Status
First Seen
Last Confirmed
Link
P
PulseMCP
3/14/2026
3/14/2026
Adoption Metrics & Statistics
#9240
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
3/14/2026
First Seen
Recently added to the ecosystem
Health Score
9/100
Directory Presence5/20
Community0/30
Usage0/20
Development Activity4/30
Related MCP Servers
Financial Datasets
Financial Datasets
Provides direct access to stock market data including income statements, balance sheets, cash flow statements,...
Classification
official
Est Visitors (Week)
66.3k
Release Date
Mar 8, 2025
Financial Datasets
MCP ServerOfficial Provider
1 dir
Browserbase
Browserbase
Automate web browsers remotely on a cloud environment.
Classification
official
Est Visitors (Week)
19.8k
Release Date
Dec 5, 2024
Browserbase
MCP ServerOfficial Provider
1 dir
MongoDB
MongoDB Inc.
Provides a bridge between MongoDB databases and conversational interfaces, enabling comprehensive database...
Classification
official
Est Visitors (Week)
290k
Release Date
Apr 29, 2025
MongoDB Inc.
MCP ServerOfficial Provider
1 dir
Airweave Search
airweave-ai
Search Airweave collections with natural language queries.
Classification
official
Est Visitors (Week)
32.7k
Release Date
Dec 24, 2024