invara
01Plugin Claude Code
INVARA - independent verification for AI-built software.
0 2d ago A
tokens not measured
original Apache-2.0
invara
02Plugin Claude Code
Independent verification that a change kept the constraints it declared. Seal a contract before the work: the paths that must not change, and the commands that must pass. Afterwards INVARA judges from file digests and exit codes and returns BLOCK, UNVERIFIABLE, HUMANREVIEW or PASS, naming which rule decided. UNVERIFIA.
0 2d ago A
tokens not measured
original Apache-2.0