AxiomMath/axle-mcp-server

Score: 44.0 Rank #684

MCP Server for AI agents to interact with our Lean infrastructure

Overview

AxiomMath/axle-mcp-server is a Python MCP server licensed under MIT. MCP Server for AI agents to interact with our Lean infrastructure

Ranked #684 out of 25632 indexed tools.

In the top 3% of all indexed tools.

Ecosystem

Python MIT

Signal Breakdown

Stars 18

Freshness 10d ago

Issue Health 50%

Contributors 0

Dependents 0

Forks 0

Description Good

License MIT

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Dependents medium impact

No downstream dependents detected yet — adoption by other projects is the strongest trust signal

Badge

AgentRank score for AxiomMath/axle-mcp-server

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/AxiomMath--axle-mcp-server)](https://agentrank-ai.com/tool/AxiomMath--axle-mcp-server)

HTML

<a href="https://agentrank-ai.com/tool/AxiomMath--axle-mcp-server"><img src="https://agentrank-ai.com/api/badge/tool/AxiomMath--axle-mcp-server" alt="AgentRank"></a>

Details

Stars: 18
Forks: 0
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Python
License: MIT
Last Commit: 10d ago

Matched Queries

"mcp server""mcp-server"

View on GitHub →

Are you the maintainer? Claim this listing