4 projects
uofa
CLI for creating, validating, and signing Unit of Assurance evidence packages for computational modeling and simulation credibility
vetoworld
VetoWorld: a benchmark of expedience under terminal stakes
hardmap
Reproducible evidence for the charge-atlas / proof-space program: atlas, oracle line, proof census, and a single repro CLI.
raidex
Self-contained CLI to measure an LLM against the Raidex Responsible-AI index