skills/trailofbits/skills/writing-lean-proofs/Snyk

writing-lean-proofs

Pass

Audited by Snyk on Aug 8, 2026

Risk Level: LOW

Full Analysis

No issues detected.

Audit Metadata

Risk Level

LOW

Analyzed

Aug 8, 2026, 02:01 AM

Security Audit — snyk — writing-lean-proofs