The-40-Thieves/codecalc
(英文原文)Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing.
项目与安装文档
查看项目https://github.com/The-40-Thieves/codecalc
(英文原文)Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing.
分类: 代码执行.
用途说明来自 awesome-mcp-servers 清单;Frontier Now 尚未测试或审查该服务器。