formal-methods-reconciler
Pass
Audited by Gen Agent Trust Hub on Jul 9, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill instructions define a legitimate workflow for formal methods verification, focusing on claim extraction, tool selection, and reconciliation of specifications and implementations.
- [SAFE]: No prompt injection or behavior override patterns were detected in the primary or Japanese instructions.
- [SAFE]: External references are limited to academic research papers (arXiv) and documentation for well-known formal methods tools, which is consistent with the skill's intended purpose.
- [SAFE]: The installation methods described (APM, npx skills, npx degit) are standard patterns for the agent skills ecosystem and do not involve suspicious remote code execution.
- [SAFE]: No obfuscation, data exfiltration, or credential harvesting patterns were found across all 12 files.
- [SAFE]: The logic for running verifiers is framed as a feedback loop for repairing models, with no signs of privilege escalation or persistence mechanisms.
Audit Metadata