Verify Fix

What it does

When your agent uses it

• Explicitly requests verification that a security fix remediates a reported vulnerability
• Non-security fixes
• Candidate finding validation
• Full repository scans

Example prompts

• “/verify-fix”

Workflow steps

5 steps, taken from the first numbered list in SKILL.md.

1. 1Establish the original vulnerability, its preconditions, affected security boundary, and legitimate behavior that must continue to work.
2. 2Confirm the current checkout contains the affected component. Follow moved or refactored code rather than treating a missing file, removed…
3. 3Trace the original exploit path through the current implementation and check the nearest relevant control, equivalent paths, and plausible…
4. 4Run the original reproducer, focused regression checks, or legitimate-behavior checks only when they can run without modifying the…
5. 5Return one result per supplied finding, in the requested order. Treat closed tickets, unrelated passing tests, and the absence of a new…

What it can do on your machine

Read from SKILL.md and the folder at commit 98b5f2f. It shows what the files ask for, not the result of running them.

• Tool permissions

  Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

  From allowed-tools in the SKILL.md frontmatter.

• Runs code

  No scripts in the folder and no shell commands in SKILL.md (its code samples are json).

  From the folder's file list and the shell code blocks in SKILL.md.

• Network

  No URLs in SKILL.md.

  From URLs in SKILL.md, links to its own repository left out.

• Credentials

  Names no API keys, tokens, secrets or passwords.

  From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Verify Fix loads about 757 tokens when it runs. Until then it costs about 80 tokens; SKILL.md has 338 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it

~80

When it runs · the whole SKILL.md, loaded when a task matches

~757

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from vlinx-io/VelaTerm at commit 98b5f2f, republished under its MIT licence (© vlinx-io). 338 words, ~757 tokens.

name

verify-fix

description

Use only when the user explicitly requests verification that a security fix remediates a reported vulnerability. Do not invoke automatically while implementing fixes, reviewing ordinary code changes, or running tests. Do not use for non-security fixes, candidate finding validation, or full repository scans.

{
  "results": [
    {
      "id": "finding-or-issue-id",
      "status": "fixed|still_vulnerable|inconclusive",
      "evidence": "specific current source, exploit, test, or proof-gap evidence"
    }
  ]
}

© vlinx-io, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 1 other file in src-tauri/resources/codex-security/skills/verify-fix of vlinx-io/VelaTerm.

• SKILL.md
• agents/openai.yaml

Open the folder on GitHubat commit 98b5f2f