{"repo":"AxiomMath/axle-mcp-server","free":true,"listed":false,"github":"https://github.com/AxiomMath/axle-mcp-server","clone":"git clone https://github.com/AxiomMath/axle-mcp-server.git","description":"MCP Server for AI agents to interact with our Lean infrastructure","language":"Python","stars":37,"topics":[],"license":"MIT","category":"mcp-servers","readme_excerpt":"AXLE MCP Server A Model Context Protocol server for Axiom Lean Engine — exposes Lean verification and manipulation tools to AI agents. Tools Most tools are generated from the AXLE API's /v1/endpoints — verify proof , check , merge , sorry2lemma and friends. Alongside them the server provides: Tool Purpose --- --- read docs Read the AXLE documentation. Call with no arguments for the page index, then page=\"verify proof\" for one page. list environments List the available Lean environments. share url Turn a prior call's request id into a permanent shareable webapp URL. read share url Read back the inputs and result behind a share URL. Installation 1. Create a free API key: https://axle.axiommath.ai/app/console. 2. Add the MCP server to your client using one of the options below. Claude Code Replace your api key here 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 your api key here with the API key you created in step 1: Claude (web / desktop / mobile) A hosted instance runs at https://mcp.axiommath.ai/mcp . You only need to do this once; after setup, Axle is available in every future conversation. 1. Open Claude and click your profile avatar → Settings . 2. Go to the Connectors tab. 3. Scroll to the bottom of the page and click Add custom connector . 4. Fill in: - Name: Axle - Remote MCP server URL: https://mcp.axiommath.ai/mcp 5. Click Add . 6. In any ch","default_branch":null,"files":null,"tree":[],"storefront":"/r/AxiomMath","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/AxiomMath/axle-mcp-server/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}