What is codecalc?
codecalc is a MCP server by The-40-Thieves that code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing. It is listed under Developer tools and has 5 GitHub stars.
| Type | Mcp server |
|---|---|
| Author | The-40-Thieves |
| Repository | The-40-Thieves/codecalc |
| Popularity | 5 GitHub stars |
| Category | Developer tools |
| Security | Review before installing (72/100) |
| Rank | #2,136 of 4,418 MCP servers; #468 in Developer tools |
| License | Apache-2.0 |
| Last commit | 2026-09-24 |
| Stars this week | +1 |
| Runs | Locally |
| Language | Python |
| Platforms | macOS, Windows, Linux |
Is codecalc safe to install?
codecalc scores 72/100 on the MCPMods security check: Review before installing. Things to review: can take actions such as send, write or deploy; executes code or shell commands. It passed 3 of 6 checks.
MCP server results come from listing signals: who publishes it, where your data goes and what it can do. The code itself is not scanned yet.
| Check | Result |
|---|---|
| Community-built server | Note |
| Runs on your machine only | Pass |
| No credentials mentioned | Pass |
| Can take actions such as send, write or deploy | Review |
| Executes code or shell commands | Review |
| Source on GitHub | Pass |
How do I install codecalc?
- Find the launch command. The README says how the server starts (npx, uvx, docker or a remote URL) and which API keys it needs.
https://github.com/The-40-Thieves/codecalc
- Add it to Claude Code. Replace the part after -- with the command from the README. Remote servers use --transport http with a URL.
claude mcp add codecalc -- <command from README> claude mcp add --transport http codecalc <server-url>
- Check it connected. This lists your MCP servers and their status.
claude mcp list
Or ask Claude to set it up
Paste this into Claude Code and it installs codecalc for you:
Add the "codecalc" MCP server from https://github.com/The-40-Thieves/codecalc to Claude Code. Read its README for the launch command and any API keys I need, run claude mcp add, then check that it connects.