MCP Server

Active

GPL-3.0

Axiom — Advanced Math MCP Server

io.github.tufantunc/axiom-math

Repository Registry

What is the Axiom — Advanced Math MCP server?

Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas

How to install Axiom — Advanced Math

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "axiom-math": {
      "command": "npx",
      "args": [
        "-y",
        "axiom-math"
      ]
    }
  }
}

Related MCP servers

SSH — policy-gated remote access

Active

Policy-gated SSH access for LLM agents with role-based authorization, approval workflows, and audit logging.

773

TypeScript

MIT

View repository →

Godot MCP

Maintained

Full Godot 4.x engine control with 157 tools for AI-driven game development via MCP.

418

JavaScript

MIT

View repository →

io.github.tunahanaliozturk/partner-center-mcp

Active

Unofficial Partner Center REST API knowledge & codegen assistant (scenarios, auth, errors).

TypeScript

MIT

View repository →

io.github.tunglt1810/figma-mcp-go

Active

Local Figma plugin integration with 60 tools for live read/write access—no API token or rate limits.

MIT

View repository →

tunnels.io

Active

Read a tunnels.io account and put local ports online. Lists only the tools the token was granted.

MIT

View repository →

Iconoteka

Active

Search and retrieve 1,300 open-source icons in 7 weights and 2 styles as paste-ready SVG.

Svelte

MIT

View repository →