cli-forge
Pass
Audited by Gen Agent Trust Hub on Mar 17, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill provides legitimate guidance for Ethereum smart contract development and testing.
- [EXTERNAL_DOWNLOADS]: The documentation references the installation of reputable formal verification tools, Halmos and Certora, via the Python package manager.
- [CREDENTIALS_UNSAFE]: References to environment variables like PRIVATE_KEY and MNEMONIC are standard for Foundry deployment scripts.
- [COMMAND_EXECUTION]: Includes instructions for running standard development and security tools such as Forge, Halmos, and Certora.
Audit Metadata