The Agent Skills Directory

[EXTERNAL_DOWNLOADS]: The skill instructions include the installation of formal verification tools halmos and certora-cli using the pip package manager. These are well-known and reputable tools in the blockchain security community used for proving contract correctness.\n- [COMMAND_EXECUTION]: The provided documentation contains extensive examples of CLI commands for the forge (Foundry) toolchain, halmos, and certoraRun. These commands are standard for performing smart contract testing, gas benchmarking, and deployment tasks.\n- [SAFE]: Analysis of the skill's instructions and reference files found no evidence of prompt injection, data exfiltration, obfuscation, or persistence mechanisms. The content is focused on legitimate development workflows and adheres to industry best practices for Ethereum smart contract testing.

foundry-testing