ClawAudit verdict

lean4-memories

lean4-proof-lean4-memories

88
🟢 Trusted
Low risk — reviewed by ClawAudit, behavior matches stated purpose

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. ClawAudit 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?

Check another skill Browse the registry Auditing your own skills or configs? Use the API