The Agent Skills Directory

[EXTERNAL_DOWNLOADS] (MEDIUM): The skill instructs the installation of halmos and certora-cli via pip. These packages are hosted on PyPI and managed by organizations (a16z and Certora) that are not included in the pre-defined trusted source list. \n- [COMMAND_EXECUTION] (LOW): The skill provides numerous commands for executing shell processes via forge, just, and halmos. While these are standard for blockchain development, they represent a significant capability that should be used with caution when processing user-generated logic. \n- [CREDENTIALS_UNSAFE] (INFO): Documentation and script templates explicitly mention the use of environment variables like PRIVATE_KEY and MNEMONIC. While necessary for deploying contracts, these are highly sensitive secrets, and their presence in instructions increases the risk of accidental exposure or targeted exfiltration if the agent's context is compromised.

foundry