AgentRank

Every MCP server & agent tool, ranked

← Back to leaderboard

AxiomMath/axle-mcp-server

Score: 54.6 Rank #398

MCP Server for AI agents to interact with our Lean infrastructure

Signal Breakdown

Stars 17

Freshness 7d ago

Issue Health 50%

Contributors 0

Dependents N/A (Phase 2)

Details

Stars: 17
Forks: 0
Open Issues: 0
Closed Issues: 0
Contributors: 0
Language: Python
License: MIT
Last Commit: 7d ago

Matched Queries

"mcp server""mcp-server"

View on GitHub →