5 RESULTS · “proof”
v4.2.0 · AGPL-3.0
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
v3.9.106 · MIT
Marrow AI MCP server: a named yes before your AI agent acts, and proof the next agent can reuse.
v3.7.0 · no license
AI agents can generate code, but still struggle to understand what they build. Reticle brings Jev-style machine-native runtime perception to web & desktop applications.
— · MIT
Composable mathematics tools for agents
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.