The Agent Skills Directory

[EXTERNAL_DOWNLOADS]: The skill facilitates downloading the Kani verifier via Cargo and a specialized Anchor verification fork from OtterSec's GitHub repository. It also uses the @workersio/klint linter package from the NPM registry.
[COMMAND_EXECUTION]: Shell commands such as cargo kani, npx, and grep are employed to perform static analysis, run lint checks, and execute formal verification harnesses on the target codebase.
[REMOTE_CODE_EXECUTION]: The skill installs and runs external binaries for code verification and linting. This involves executing cargo install for the Kani toolchain and using npx to run the linter utility provided by the vendor.

kani-proof