lamport-formal-distributed
Pass
Audited by Gen Agent Trust Hub on Mar 9, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No malicious patterns identified. The provided scripts and documentation are focused on distributed systems theory and local simulations without network or file system access.
Audit Metadata