Home MCP ServersAXLE Lean Engine Pradumna Saraf Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and... Classification community Est Visitors (Week) 353 Release Date Mar 7, 2026

AXLE Lean Engine Pradumna Saraf Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and... Classification community Est Visitors (Week) 353 Release Date Mar 7, 2026

MCP ServerCommunity

Pradumna Saraf

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

#9083

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

r/mcp Reddit

No description available

MCP ServerCommunity

2 dirs

Discord Server

No description available

MCP ServerCommunity

2 dirs

Unity Justin Barnett Allow MCP clients to perform Unity Editor actions. Classification community Est Visitors (Week) 60.6k Release Date Mar 18, 2025

Justin Barnett

MCP ServerCommunity

1 dir

PostgreSQL Crystal DBA Helps you and your AI agents throughout the entire development process—from writing SQL to tuning performance safely. Classification community Est Visitors (Week) 44.8k Release Date Mar 25, 2025

Crystal DBA

MCP ServerCommunity

1 dir