veriker

Popular repositories Loading

1. veriker verikerPublic

   Composable, offline, stdlib-only verifier for re-derivable, attested artifacts — recompute the answer, don't trust the claim. Apache-2.0.

   Python 4 1

2. relyable relyablePublic

   Re-derivation gate for agent trust (test verdicts, skills, memory) on the veriker substrate — admit only what re-derives, fail-closed.

   Python

3. admit-only-what-rederives admit-only-what-rederivesPublic

   Forced re-derivation beats agent self-verification: preregistered, deterministically-scored experiments on skills, memory, and completion-verdict trust surfaces. Companion artifact to the "Admit On…

   Python

4. clawscan clawscanPublic

   Forked from openclaw/clawscan

   Composable security scanning harness for agent skills

   Go