4 projects
nova-agent-language
A deterministic runtime for capability-aware agent execution
stateproof
Proof-carrying exact state verification for Python environments
runproof-engine
Evidence, replay, and explainable diffs for real Python runs
riskreplay
Outcome-aware financial AI evaluation under delayed and selective labels.