Agent Skills

Portable Agent Skills that let any skills-compatible AI agent drive Chainvet from a shell.

Chainvet Agent Skills are portable Agent Skills that let any skills-compatible AI agent (Claude Code, Cursor, Codex, Gemini CLI, …) drive Chainvet. Each skill is a self-contained directory with a SKILL.md; an agent loads a skill's name and description at startup and pulls in the full instructions only when a task matches.

The three skills

Skill	Tool	Use it when…
`chainvet-scan`	the `chainvet` CLI	Auditing/scanning a `.sol` file or contracts directory, or generating a Cyfrin-style audit report (md/html/pdf).
`chainvet-ci`	the `chainvet-ci` binary	Producing SARIF and gating a pipeline (GitLab, Jenkins, pre-commit, any non-GitHub CI) on findings by severity/confidence.
`chainvet-github-action`	`chainvet/chainvet-action`	Adding Chainvet to GitHub Actions and uploading SARIF to the Security → Code scanning tab.

The interactive front ends (chainvet-server, chainvet-lsp, and the VS Code / Web UIs) are intentionally not packaged as skills — they're GUI/editor tools an agent doesn't drive from a shell.

Add a skill to your agent

Install a skill into your project with the skills CLI:

npx skills add chainvet/chainvet-skills --skill chainvet-scan

Swap --skill for whichever you need:

npx skills add chainvet/chainvet-skills --skill chainvet-scan
npx skills add chainvet/chainvet-skills --skill chainvet-ci
npx skills add chainvet/chainvet-skills --skill chainvet-github-action

Your agent then loads the skill's name and description, and pulls in the full instructions only when a task matches.

Install Chainvet once

The skills drive the Chainvet binaries, so install those too. All three use the same binaries. On Linux x86_64:

curl -fsSL https://install.chainvet.dev/install.sh | CHAINVET_BINS=all sh

Or per-tool with CHAINVET_BINS=chainvet / chainvet-ci, or from source with cargo install --git https://github.com/chainvet/chainvet <crate> (needs the Z3 system library). Each SKILL.md also embeds its own install step.

Layout

chainvet-skills/
├── chainvet-scan/
│   ├── SKILL.md
│   └── references/cli-reference.md
├── chainvet-ci/
│   └── SKILL.md
└── chainvet-github-action/
    ├── SKILL.md
    └── assets/chainvet.yml

Which skill when

chainvet-scan for local, interactive auditing; chainvet-ci for any non-GitHub pipeline or a pre-commit gate; chainvet-github-action for GitHub Actions specifically. The skills mirror the CLI, CI, and GitHub Action docs.

The three skills

Add a skill to your agent

Install Chainvet once

Layout

On this page