Specodelic — a markdown specification format (Intent / Constraints / Model / Properties) and the `spk` CLI that lints, compiles, verifies, and refactors it
Credential verification and query scope derivation, shared by the control plane's forensics authorization funnel and the standalone Query plane, with no…
Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of…
Weight provenance: per-file SHA-256 manifests of model weights, signed brain_manifest records on every load/swap, and drift verification — which manitou was in…
Proof that an AI coding agent's work is done: each requirement has a test that failed first, was not changed, and passes. In development; this release holds…
Temper, the authentication flows of the Smeltery framework: login, logout, registration, password reset, email verification, password confirmation and profile…