ResiMind

Exact polynomial checks, sparse expansion and verified rule memory. Local MCP tools, no model key.