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.

Project and installation details

Categories: Code Execution.

Directory listing from awesome-mcp-servers; Frontier Now has not tested or reviewed this server.