symkit-mcp

LBurny/symkit-mcp

★ 12 stars Python AI/LLM Updated today

It is an MCP server that lets AI agents perform step-by-step symbolic derivations: calculate, transform, verify, and store formulas with full provenance, all through conversation.

View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "symkit-mcp": {
      "command": "uvx",
      "args": [
        "symkit-mcp"
      ]
    }
  }
}

Or install with pip: pip install symkit-mcp

README Excerpt

> **Mathematica-style symbolic computation, powered by LLMs.** **English** | [简体中文](README.zh-CN.md) Mathematica gave us precise symbolic math. LLMs gave us natural-language reasoning. **SymKit combines both.** It is an MCP server that lets AI agents perform step-by-step symbolic derivations: calculate, transform, verify, and store formulas with full provenance — all through conversation.

Tools (8)

curatedmathseedsession_add_notesession_record_stepsession_rollbacksession_showstaging

Topics

formulasmathematicamcp

symkit-mcp

Quick Install

README Excerpt

Tools (8)

Topics

Related AI/LLM Servers