AgentStack
Browse Sign in
Browse Why AgentStack Sell Docs
Sign in
MCP verified MIT Self-run

Axle Mcp Server

mcp-axiommath-axle-mcp-server · by AxiomMath

MCP Server for AI agents to interact with our Lean infrastructure

↗ Repository
— No reviews yet
0 installs
0 views
— view→install

Install

$ agentstack add mcp-axiommath-axle-mcp-server

✓ scanned · ✓ verified, works with Claude Code, Cursor, and more.

Security review

✓ Passed

No issues found. Passed automated security review. · v0.1.0 How review works →

  • ✓ Prompt-injection patterns
  • ✓ Secret / credential exfiltration
  • ✓ Dangerous shell & filesystem operations
  • ✓ Untrusted network calls
  • ✓ Known-malicious package signatures

What it can access

  • ✓ Network access No
  • ✓ Filesystem access No
  • ✓ Shell / process execution No
  • ✓ Environment & secrets No
  • ✓ Dynamic code execution No

From automated source analysis of v0.1.0. “Used” means the capability is present in the source — more access means more to trust, not that it’s unsafe.

View the full security report →

Verified badge

Passed review? Show it. Paste this badge into your README, it links to the public security report.

AgentStack Verified badge Links to your public security report.
[![AgentStack Verified](https://agentstack.voostack.com/badges/verified.svg)](https://agentstack.voostack.com/security/report/mcp-axiommath-axle-mcp-server)

Reliability & compatibility

✓ Security review passed
0 installs to date
— no reviews yet
● 1mo ago

Declared compatibility

Claude CodeClaude DesktopCursorWindsurf

Compatibility is declared by the source manifest. End-to-end runtime verification is coming, see below.

Preview Execution monitoring

We're building live execution health for every listing: tool-call success rate, median latency, uptime, and last-checked timestamps, measured, not self-reported. It isn't live yet, so we don't show numbers we can't stand behind.

How agent discovery & health will work →
Are you the author of Axle Mcp Server? Claim this listing to set pricing, connect Stripe payouts, and keep 70% of every sale.
Sign up to claim

About

AXLE MCP Server

A Model Context Protocol server for Axiom Lean Engine — exposes Lean verification and manipulation tools to AI agents.

Installation

  1. Create a free API key:

https://axle.axiommath.ai/app/console.

  1. 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:

claude mcp add axle -e AXLE_API_KEY=your_api_key_here -- uvx --from axiom-axle-mcp axle-mcp-server

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:

{
  "mcpServers": {
    "axle": {
      "command": "uvx",
      "args": ["--from", "axiom-axle-mcp", "axle-mcp-server"],
      "env": {
        "AXLE_API_KEY": "your_api_key_here"
      }
    }
  }
}

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
  1. Expand Advanced settings and paste the API key from step 1 as the

OAuth Client ID / Bearer token.

  1. Click Add.
  2. In any chat, open the tools menu (the + or paperclip icon in the

composer) → Connectors → toggle Axle on. You should see the Axle tools listed.

Source & license

This open-source MCP server is cataloged on AgentStack and links to its original source — we do not rehost the code.

Install and usage instructions live in the source repository linked above.

Reviews

No reviews yet, be the first.

Write a review

Versions

  • v0.1.0 Imported from the upstream source.

More in Integrations