Skip to content

feat(skills): add verify bundled skill#176

Merged
emal-avala merged 1 commit intomainfrom
feat/skill-verify
Apr 23, 2026
Merged

feat(skills): add verify bundled skill#176
emal-avala merged 1 commit intomainfrom
feat/skill-verify

Conversation

@emal-avala
Copy link
Copy Markdown
Member

Summary

Adds /verify — independent double-check of a claim before acting. Rules baked in:

  • state the claim in one sentence
  • pick ONE authoritative source of truth (code / test / exit code / file / runtime check)
  • never verify an AI-generated claim with another AI-generated claim (circular)
  • show what was checked and what was found
  • if the claim holds → proceed; if not → stop and ask the user how to reconcile

Pairs with /stuck (unblock when looping) — /verify prevents the common failure mode where an agent confidently acts on its own summary of something it didn't actually check.

Test plan

  • cargo fmt --all clean
  • cargo check passes
  • Manual: before a destructive tool call, /verify reads the code and reports what it actually found

@chatgpt-codex-connector
Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.

Independent double-check before acting on a claim. Enforces:
- state the claim in one sentence
- pick ONE authoritative source (code / test / exit code / file /
  runtime check) — never verify AI-generated claims with another
  AI-generated claim (circular)
- show what was checked and what was found
- if claim holds → proceed; if not → do NOT proceed, ask user

Skip verification only when cost of being wrong < cost of the check.
Anything that writes/deletes/deploys/sends → verify.
@emal-avala emal-avala merged commit a2b0fff into main Apr 23, 2026
12 of 13 checks passed
@emal-avala emal-avala deleted the feat/skill-verify branch April 23, 2026 02:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant