stellogen-proof-search
Pass
Audited by Gen Agent Trust Hub on Jun 20, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill appears to be a legitimate tool for formal verification and theorem proving, with no malicious patterns detected.
- [EXTERNAL_DOWNLOADS]: The skill documentation mentions installation via the platform's standard manager for the official author repositories.
- [COMMAND_EXECUTION]: The skill provides a 'stellogen' command-line interface for compiling, running, and benchmarking logical proofs, which is consistent with its intended use.
- [SAFE]: The skill processes domain-specific proof files and does not attempt to access sensitive system locations or exfiltrate data.
Audit Metadata