LocalFree

codecalc MCP server

The-40-Thieves/codecalc

Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing.

5 GitHub stars1 forks
Source code

Install codecalc in Claude Code

Claude Code
claude mcp add codecalc -- uvx codecalc
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "codecalc": {
      "command": "uvx",
      "args": [
        "codecalc"
      ]
    }
  }
}

Frequently asked questions

What does the codecalc MCP server do?

Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing.

Is the codecalc MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does codecalc run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add codecalc to Claude Code?

Run: claude mcp add codecalc -- uvx codecalc

More code execution MCP servers

View all

jobd

5

musharna/jobd

Self-hostable GPU-aware job broker: dispatch long-running or GPU jobs that outlive the session, route them by VRAM tier and monitor them across sessions.

LocalFreePython

Piston

9

alvii147/piston-mcp

Execute code through the Piston remote code execution engine.

LocalAccount neededPython

E2b Sandbox

4

asif-nvc/e2b-sandbox-mcp

E2B cloud sandboxes: create isolated Linux VMs, clone repos, run commands, manage files and perform git operations without touching the local machine.

LocalAccount neededTypeScript

Prolog Reasoner

12

rikarazome/prolog-reasoner

SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.

LocalFreePython

Matlab Python

4

HanSur94/matlab-mcp-server-python

MATLAB integration: execute code, run async jobs with progress reporting, get interactive Plotly plots and expose custom .m functions as tools.

LocalFreePython

Edict

13320

Sowiedu/Edict

Agent-oriented programming language: agents emit a JSON AST that the compiler validates, type- and effect-checks, verifies with Z3/SMT and compiles to WASM.

LocalFreeTypeScript