Structural memory for AI coding agents. Bi-temporal graph, MCP-native, zero LLM calls. Cursor · Claude Code · Codex · DeepSeek Harness · Hermes · VS Code · Windsurf.

Local deterministic memory and safety kernel for AI agents. Replaces vector RAG with STRATA, a cryptographically signed, append-only ledger, so every agent state carries proof. Uses causal_walk engine to trace execution failures back to their root cause, and Operator Lite to block destructive terminal terminal commands before they ever run

Enables keyword search across source-traceable evidence chunks, listing opportunities linked to supporting evidence, and deterministic ROI calculations with model-proposed inputs and TypeScript-computed dollar figures.

Enables querying a city road graph for shortest routes by total distance and a 25-room maze for fewest-door paths, returning step-by-step trace explanations and animating each search in a live web viewer.