narya-proofs
Pass
Audited by Gen Agent Trust Hub on Jun 20, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill implements a formal verification framework focused on data integrity and invariant checking for event logs.
- [SAFE]: Includes a 'Non-Leakage' verifier that serves as a security control to prevent PII (SSNs, emails, credentials) from being stored in event logs.
- [SAFE]: The documentation references local file system paths (e.g., 'file:///Users/alice/agent-o-rama/...') as source code links. These references are localized to the development environment and do not involve unauthorized data access or exfiltration.
- [SAFE]: All identified commands and script runners (e.g., 'python -m src.narya_proofs.runner') operate on local data structures and follow standard development practices for event-sourced systems.
Audit Metadata