{"server":{"id":"the-40-thieves-codecalc-9459bfd960ff","name":"The-40-Thieves/codecalc","title":"The-40-Thieves/codecalc","description":"Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing.","category":"Development","transport":"Local","pricing":"Unknown","website":"https://github.com/The-40-Thieves/codecalc","repository":"https://github.com/The-40-Thieves/codecalc","version":"0.13.0","manifest":"{\"name\":\"io.github.The-40-Thieves/codecalc\",\"version\":\"0.13.0\",\"repository\":{\"url\":\"https://github.com/The-40-Thieves/codecalc\"},\"remotes\":[],\"packages\":[{\"registryType\":\"pypi\",\"identifier\":\"codecalc\",\"version\":\"0.13.0\",\"transport\":{\"type\":\"stdio\"},\"environmentVariables\":[]}]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"The-40-Thieves/codecalc MCP server","seoDescription":"Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing.","createdAt":"2026-11-04T07:18:55.917Z","updatedAt":"2026-11-04T07:58:36.806Z"}}