Verifiable, deterministic risk math for autonomous agents; re-runnable proof on every answer.
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
Verifiable, deterministic risk math for autonomous agents; re-runnable proof on every answer.