ClawAudit verdict

lean4-theorem-proving

lean4-proof-lean4-theorem-proving

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

Lean 4 theorem proving workflow skill with build-first methodology; no capabilities flagged and no executable code beyond standard Lean/lake build commands for legitimate mathematical proof development.

⚠ 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.

60
security
90
transparency
70
maintenance

Findings (2)

Pattern match critical

Unicode homoglyph detected — uses lookalike characters to evade pattern matching

references/measure-theory.md · prose

Pattern match medium

Popular HTTP library — network access

references/compilation-errors.md · code · got

Permissions & capabilities

No declared permissions — minimal attack surface.

Is this flag fair?

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