12 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.
v2.41.0 · Apache-2.0
AI said it finished. Flyto2 shows the proof.
v0.2.1 · Apache-2.0
Signed, publicly logged records of what your AI agent did, with proofs anyone can check offline.
v1.0.0 · MIT
Scan a GitHub repository for vulnerabilities, with proof for every finding, from your coding agent.
v0.3.0 · no license
Accounts-payable exception environment with a pass/fail verifier and proof packet: AI agents work AP
v0.6.0 · no license
Agent continuity: live continuity index, self-test contract, offline Continuity Proof verification.
v0.2.0 · no license
v0.1.0 · no license
Agent Trust Score earned through Proof of Outcome. Browse and buy as paylyte-core.
v1.0.0 · no license
Zero-knowledge proofs with post-quantum attestations for AI agents, without exposing personal data
Autonomous RWA treasury on Solana: daily allocation, on-chain receipts, proofs, your own vault.