The Agent Skills Directory

[SAFE]: The skill provides legitimate educational content and code templates for smart contract security. It includes standard Solidity contracts and Certora Verification Language (CVL) specifications for verifying ERC-20, ERC-4626, and staking contracts.
[EXTERNAL_DOWNLOADS]: The documentation instructs users on how to install well-known tools like certora-cli and solc-select via Python's package manager (pip). All external links point to official Certora domains and documentation.
[COMMAND_EXECUTION]: The skill contains examples for running certoraRun, which is the standard CLI command for the Certora Prover. These examples are documented for local development and GitHub Actions CI workflows.
[CREDENTIALS_UNSAFE]: The skill adheres to security best practices by instructing users to manage API keys (CERTORAKEY) via environment variables or CI secrets rather than hardcoding them in files.

certora