The Agent Skills Directory

[EXTERNAL_DOWNLOADS]: The skill documentation recommends the use of external tools and libraries from OtterSec, a well-known security auditing firm. Specifically, it suggests replacing the standard anchor-lang dependency with a fork named onchor hosted at git@github.com:otter-sec/verify.git and adding the otter-solana-verify crate for Anchor program verification.
[COMMAND_EXECUTION]: The skill's verification workflow utilizes a sub-agent to execute cargo kani commands. This is the intended behavior for formal verification, allowing the agent to validate the correctness of generated proofs against the user's codebase.

kani-proof