proof-refactoring-assistant
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill is purely instructional and does not contain any executable scripts, network requests, or file system operations.
- [SAFE]: No prompt injection or obfuscation techniques were detected in the instructions or metadata.
- [SAFE]: External links point to official documentation for Isabelle (tum.de) and Coq (inria.fr), which are trusted academic sources.
- [SAFE]: The logic focuses on standard theorem prover tactics and proof engineering best practices.
Audit Metadata