About this server
Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.
A local MCP package is not a public HTTP server. Do not interpret the absence of an endpoint as downtime.
Authorization: not independently verified
Available tools: not independently verified