codecalc
面向 AI 模型的通用代码与逻辑计算器：涵盖 31 种语言的 52 个 MCP 工具。Rust 沙箱执行，支持判定、会话、工件、精确算术以及经过验证的翻译/优化。无 LLM、无网关、无遥测：调用者即模型。Apache-2.0 许可证。
Universal code & logic calculator for AI models: 52 MCP tools across 31 languages. Rust-sandboxed execution with verdicts, sessions, artifacts, exact arithmetic, and verified translation/optimization. No LLM, no gateway, no telemetry: the caller is the model. Apache-2.0.
怎么安装
暂无统一安装命令，请查看仓库 README。
简介
codecalc — universal code & logic calculator for AI models **codecalc is an offline, self-hosted MCP server that gives an AI agent a calculator, a code runner, and a logic checker — so it gets a *correct* answer instead of a guessed one.** It runs code in **31 languages**, does exact symbolic math, solves SMT/logic problems, and measures complexity, all exposed as **52 MCP tools**. **Fastest path:** uvx 'codecalc[full]' setup --write registers codecalc with your MCP client automatically. New to MCP, or want more detail first? See QUICKSTART.md, or the Install section below. Three things nobody…
推荐参考
信息
- 协议
- Apache-2.0
- 语言
- Python
- GitHub 星标
- 3
- 月下载
- –
- 最近更新
- 2026-09-07
- 创建于
- 2026-08-07
基础安全检查
- 检查结果
- curated 收录但无 npm 包/安装命令
- 收录来源
- curated:punkpeye/awesome-mcp-servers
- 主题标签
- ai-agents, calculator, code-execution, mcp, mcp-server, model-context-protocol, python, rust, sandbox, symbolic-math
同类推荐
dsh-mnemon
omdsh-dev/dsh-mnemon
由 Mnemon 驱动的 DeepSeek Harness（DSH）跨 Agent、本地优先的持久记忆插件。它可在支持 Mnemon 的 Agent 之间共享长期记忆，并提供运行时记忆、可检索项目档案、语义召回、知识图谱和 Sidebar UI。
markdownify-mcp
zcaceres/markdownify-mcp
用于将几乎任何内容转换为Markdown的Model Context Protocol服务器。
hindsight
vectorize-io/hindsight/tree/main/hindsight-integrations/coding-agents
Hindsight：会学习的 Agent 长期记忆系统，自动召回/保存、知识页、深度反思与按仓库隔离的记忆银行。
airtable-mcp-server
domdomegg/airtable-mcp-server
🗂️🤖 Airtable Model Context Protocol 服务器，允许 AI 系统与您的 Airtable 数据库交互