codecalc
Universal code and logic calculator for AI agents: run code in 31 languages, exact symbolic math, SMT and logic checks,…
Live
Open / InstallLast updated October 6, 2026
Description
Universal code and logic calculator for AI agents: run code in 31 languages, exact symbolic math, SMT and logic checks, complexity analysis, and cross-language verification, with an opt-in strict sandbox for untrusted code.
Community Metrics
Views
0
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
the-40-thieves
Platform
mcp
Pricing model
free
Categories
- mcp
Tags
- mcp
- smithery
Capabilities
- Local MCP server
Information
TypeMCP Server
SourceSmithery
AddedOctober 6, 2026