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
| Registry | Package | Version | Transport |
|---|---|---|---|
| PyPIruntime: uvx | codecalc | 0.13.0 | stdio |
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)
| Server | Runs |
|---|---|
| AlexandriaSearch, read, and cite across 152 libraries: 11 tools, 3 prompts, and a full-text resource. | Local · stdio |
| Obsidian TurbochargedGoverned Obsidian vault access: hybrid retrieval, Markdown-native memory, HITL confirmations. | Local · stdio |
More developer servers
| Server | Runs |
|---|---|
| Code Synapse — Fit Repo FinderFinds real, maintained open-source repos that fit your project. MCP grounding for coding agents. | Remote · HTTP |
| code-indexRust code index MCP server, native 1C:Enterprise (BSL) support. 32 tools, AST for 14 languages. | Local · stdio |
| Codealive MCPSemantic code search and analysis from CodeAlive for AI assistants and agents. | Local · stdio |
| CodebahnCodebahn is the private GitHub alternative: fast Git and CI for developers and teams. | Remote · HTTP |
| CodecanvasPython code intelligence for coding agents: call paths, control flow, and change impact. | Local · stdio |
| CodecovMCP server for querying Codecov coverage data with configurable URL support. | Local · stdio |
| codefmtFormat/lint JS, Python, HubL for automation platforms. Tools: format_code, format_json, ask_codefmt. | Remote · HTTP |
| Codeforces MCPCodeforces competitive programming API: contests and user info. No key required. | Local · stdio |