MCP server · source category: Code Execution
The-40-Thieves/codecalc
Offline-core code & logic calculator for AI agents — run code in 31 languages, exact symbolic math, SMT/logic, complexity…
Offline-core code & logic calculator for AI agents — run code in 31 languages, exact symbolic math, SMT/logic, complexity analysis, and cross-language/optimization verification, with an opt-in strict gVisor/AppContainer sandbox for untrusted code.
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
- 20000419/fauxnix bash for AI agents on Windows via deterministic bash→PowerShell translation — no WSL, VM, or bash toolchain. MCP bash tool with…
- 2ools/mcp-server Turn what your assistant just built into a durable, versioned project. One free authless tool (createpublicpreview) re…
- 3KniGHtcZ/codebeamer-mcp Codebeamer ALM integration for managing work items, trackers, and projects. Provides 17 tools for reading and writing item…
- a-25/ios-mcp-code-quality-server iOS code quality analysis and test automation server. Provides comprehensive Xcode test execution, SwiftLint integration, and de…
- AaronVick/ECHORIFTMCP MCP server for EchoRift infrastructure primitives (BlockWire, CronSynth, Switchboard, Arbiter). Makes EchoRift's agent infrastructu…
- Adityaaery20/media-mcp Local image and video processing MCP server with 13 tools for resize, convert, compress, crop, thumbnail, metadata extract…
Browse all Developer Tools MCP servers.