codecalc MCP
An offline, self-hosted MCP server providing AI agents with a calculator, code runner, and logic checker. It supports execution in 31 languages, exact symbolic math, SMT/logic solving, and complexity measurement via 51 tools. It features Rust-sandboxed execution, verification tools for translation and optimization, and ensures no telemetry or external gateways are used by default.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
What you can do with it
- Execute code in 31 different programming languages within a sandbox
- Perform exact symbolic math and Big-O complexity analysis
- Solve SMT and logic problems using a Z3 solver
- Verify code translation and optimization correctness
Source and maintenance
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
codecalc 0.13.0
{
"version": "0.13.0",
"transport": "stdio",
"identifier": "codecalc",
"runtimeHint": "uvx",
"registryType": "pypi",
"registryBaseUrl": "https://pypi.org"
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Connect from your client
Each snippet configures the same source-provided package; replace placeholders before use.
Cursor
{
"mcpServers": {
"codecalc-mcp": {
"command": "uvx",
"args": [
"codecalc==0.13.0"
]
}
}
}Cline
{
"mcpServers": {
"codecalc-mcp": {
"command": "uvx",
"args": [
"codecalc==0.13.0"
]
}
}
}VS Code
{
"servers": {
"codecalc-mcp": {
"type": "stdio",
"command": "uvx",
"args": [
"codecalc==0.13.0"
]
}
}
}Claude Desktop
{
"mcpServers": {
"codecalc-mcp": {
"command": "uvx",
"args": [
"codecalc==0.13.0"
]
}
}
}Let your agent find its tools
Find servers like codecalc MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.