axle-mcp-server

About axle-mcp-server

AXLE MCP Server A Model Context Protocol server for Axiom Lean Engine — exposes Lean verification and manipulation tools to AI agents. Installation Create a free API key: https://axle.axiommath.ai/app/console. Add the MCP server to your client using one of the options below. Claude Code Replace with the API key you created in step 1: Other MCP clients (Cursor, Windsurf, Claude Desktop, VS Code, Cline, etc.) Add the following to your client's MCP config file. Replace with the API key you created in step 1: Claude (web / desktop / mobile) A hosted instance runs at .

Quick Facts

Compatible Skills

These tools work well together with axle-mcp-server for enhanced workflows:

• agentprobe — semantic(0.37)+complementary+same_lang+similar_pop+shared_platform (58%)
• mathlib-quality — semantic(0.24)+complementary+same_lang+similar_pop+shared_platform (53%)
• kaggle-mcp — semantic(0.32)+same_lang+similar_pop+shared_platform (46%)

More MCP Server Tools

Explore other popular mcp server tools:

• ECC ⭐ 226.5k
• n8n ⭐ 195.7k
• everything-claude-code ⭐ 186.6k
• dify ⭐ 148.2k
• open-webui ⭐ 143.9k
• cc-switch ⭐ 114.8k
• gemini-cli ⭐ 105.8k
• awesome-mcp-servers ⭐ 90.3k
• servers ⭐ 88.1k
• lobehub ⭐ 79.6k

Popular Python Agent Tools

• hermes-agent ⭐ 211.4k · Codex Skill
• AutoGPT ⭐ 185.4k · Agent Tool
• skills ⭐ 157.3k · Claude Skill
• langflow ⭐ 151.4k · Agent Tool
• open-webui ⭐ 143.9k · MCP Server

Frequently Asked Questions