create-formal-verification-skill
Pass
Audited by Gen Agent Trust Hub on Oct 23, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill instructs the agent on how to identify critical code sections, select appropriate formal verification tools (such as TLA+ or SMT verifiers), and document the results. The process involves creating project-local skill files at
.claude/skills/to maintain verification properties, which is a standard functional requirement for this task. No indicators of obfuscation, data exfiltration, or unauthorized privilege escalation were identified.
Audit Metadata