Developer · Local MCP server

codecalc

Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.

What the MCP Registry states

The entry as published to the official MCP Registry (read 2026-10-04), latest version.

Registry name
io.github.The-40-Thieves/codecalc
Version
0.13.0
Status
Active
Category
developer
Transport
stdio (local process)
Package
PyPI
Published
2026-09-21
Updated
2026-09-21
Publisher
The-40-Thieves (GitHub) · 3 servers with pages here
Repository
github.com/The-40-Thieves/codecalc
Source
Registry API entry

Packages

RegistryPackageVersionTransportEnvironment variables
PyPIruntime: uvxcodecalc0.13.0stdioNone declared

How to connect codecalc

codecalc runs locally from a Python package published to PyPI: codecalc version 0.13.0. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Python; clients usually start it with uvx (from uv) or after pip install — the usual command is uvx codecalc.

In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):

{
  "mcpServers": {
    "codecalc": {
      "command": "uvx",
      "args": [
        "codecalc"
      ]
    }
  }
}

Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect

More from The-40-Thieves (GitHub)

All 3 →
ServerRunsEndpoint or package
AlexandriaSearch, read, and cite across 152 libraries: 11 tools, 3 prompts, and a full-text resource.Local · stdionpm: @the-40-thieves/alexandria-mcp
Obsidian TurbochargedGoverned Obsidian vault access: hybrid retrieval, Markdown-native memory, HITL confirmations.Local · stdionpm: obsidian-tc

More developer servers

All 6,250 →
ServerRunsEndpoint or package
Code Synapse — Fit Repo FinderFinds real, maintained open-source repos that fit your project. MCP grounding for coding agents.Remote · HTTPcode-synapse-mcp.leewaystudio.com
code-indexRust code index MCP server, native 1C:Enterprise (BSL) support. 32 tools, AST for 14 languages.Local · stdionpm: @regsorm/code-index-mcp
Codealive MCPSemantic code search and analysis from CodeAlive for AI assistants and agents.Local · stdioOCI image (Docker): ghcr.io/codealive-ai/codealive-mcp:3.0.3
CodebahnCodebahn is the private GitHub alternative: fast Git and CI for developers and teams.Remote · HTTPcodebahn.net
CodecanvasPython code intelligence for coding agents: call paths, control flow, and change impact.Local · stdioPyPI: codecanvas-mcp
CodecovMCP server for querying Codecov coverage data with configurable URL support.Local · stdionpm: mcp-server-codecov
codefmtFormat/lint JS, Python, HubL for automation platforms. Tools: format_code, format_json, ask_codefmt.Remote · HTTPcodefmt.dev
Codeforces MCPCodeforces competitive programming API: contests and user info. No key required.Local · stdionpm: codeforces-mcp