# The 40 Thieves Codecalc MCP server

Source: https://glimind.com/server/mcp-registry%2Fio.github.the-40-thieves%2Fcodecalc
Registry id: `mcp-registry/io.github.the-40-thieves/codecalc`
Status: unknown

## Install

```json
{
  "mcpServers": {
    "the-40-thieves-codecalc-mcp-server": {
      "command": "uvx",
      "args": [
        "codecalc"
      ]
    }
  }
}
```

Claude Code:

```sh
claude mcp add the-40-thieves-codecalc-mcp-server -- uvx codecalc
```

## Tools (7)

- `analyze_complexity`: Measures the time and space complexity of a given code snippet.
- `evaluate_expression`: Evaluates a mathematical expression exactly (symbolic/symbolic-numeric) and returns the result.
- `execute_code`: Runs code in one of the supported 31 languages and returns stdout, stderr, and exit code.
- `install_package`: Installs a package into the execution environment (e.g., pip install for Python).
- `verify_optimization`: Proves that an optimized version of code preserves the original behavior.
- `verify_translation`: Proves that a program translated to another language behaves identically to the original.
- `z3_check`: Proves or refutes a logic statement using the Z3 SMT solver.

Measured by Glimind (https://glimind.com): MCP handshake + tool list only, no tool is ever called. CC BY 4.0.