Caveat verdict
lean4-memories
lean4-proof-lean4-memories
88
🟢 Trusted
No high-risk patterns surfaced by the deep scan — automated capability review, not behavioral proof.
The skill appears to be a legitimate memory management tool for Lean 4, with no indication of malicious behavior.
⚠ Flagged for review — coarse, uncorroborated signal, not a confirmed exploit. Review the config yourself before installing.
Automated static analysis — not a human review. Caveat flags capabilities, not confirmed intent, and can produce false positives. Disagree with this verdict? Use Dispute below.
98
security
80
transparency
70
maintenance
Findings (1)
Pattern match low
Popular HTTP library — network access
references/memory-patterns.md · prose · downgraded · got
Permissions & capabilities
No declared permissions — minimal attack surface.
network_in Is this flag fair?
Thanks — recorded.