Exact polynomial checks, sparse expansion and verified rule memory. Local MCP tools, no model key.
Free
1 MCP server
Works with Codex CLIBy 1105216375-alt
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
Exact polynomial checks, sparse expansion and verified rule memory. Local MCP tools, no model key.