MCP server · source category: Code Execution
The-40-Thieves/codecalc
Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with opt…
Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing.
Record
- Type
- MCP server
- Category
- Developer Tools
- Authentication
- No authentication
- Pricing
- Free
- Documentation
- https://github.com/The-40-Thieves/codecalc
- Repository
- https://github.com/The-40-Thieves/codecalc
Fields are reproduced from the source registry as-is. “Unknown” means the source did not describe the field — it is not an inference. See the methodology for how records are collected and normalised.
Similar MCP servers in Developer Tools
- AaronVick/ECHORIFTMCP MCP server for EchoRift infrastructure primitives (BlockWire, CronSynth, Switchboard, Arbiter). Makes EchoRift's agent infrastructu…
- askbudi/roundtable Zero-configuration MCP server that unifies multiple AI coding assistants (Claude Code, Cursor, Codex) through intelligent auto-disc…
- AV-Labs-Co/cos-codex-bridge Local MCP that lets a Chief of Staff client find, create and register Codex projects; submit exact prompts; track durable receip…
- bourhaouta/vscode-tailwindshades Tailwind CSS palettes (50–950) from any color for Tailwind v4, v3, v2 and v1, computed in OKLCH, plus the closest Tailw…
- congzhou09/chrome-dev-mcp Page inspection and runtime debugging in Chrome for AI coding agents: breakpoints, stepping, scope variables, source-mapped stacks,…
- DanMat/create-packkit Scaffold modern npm packages, CLIs, services, and full-stack monorepos from your agent. Three tools: inspect the option schema, pre…
Browse all Developer Tools MCP servers.