verify
Skill1 starsChanged 38 days agoMITView on GitHub
Evidence-based local verification and explicitly requested Claude↔Codex crosschecks of improvement ideas, plans, and changes. Automatically selects independent proposals, draft critique, or mutual review, with candid recommendations and minimal exchanges. Shared by Claude Code and Codex. Generic verification stays local; discussing this skill is not permission to call another model. Direct multi-angle unit-test requests use the unit-test skill.
188 other projects use a version of this.
Adopted by
Most recently taken up by
- Doist/todoist-aitheir own version, first seen Nov 9, 2026
- udecode/better-convextheir own version, first seen Nov 9, 2026
- pytorch/heliontheir own version, first seen Nov 8, 2026
- amir20/dozzletheir own version, first seen Nov 8, 2026
- Doist/todoist-clitheir own version, first seen Nov 8, 2026
- codewithmukesh/dotnet-claude-kittheir own version, first seen Nov 8, 2026
Used with
Projects with it also use instinct-export, instinct-import and 10 more.
Other files people use alongside this one.
Files found in the same public projects as a version of this one, more often than they turn up anywhere else. Each project counts once, large collections count for less, and this file's own repository is left out.
TheKREATORSSkillinstinct-export
Export instincts from project/global scope to a file
Also in 3 projects that use this
TheKREATORSSkillinstinct-import
Import instincts from file or URL into project/global scope
Also in 3 projects that use this
AviadPSkillrisk-assess
Assess the risk and blast radius of a proposed code change before implementing it. Evaluates CI impact, framework-wide vs localized scope, rollback path, and identifies blindspots. Use when user says "what's the risk", "is this safe", "assess the impact", "risk assess", "blast radius", or before applying framework-wide or CI-affecting changes. Do NOT use for code quality review (use code-quality) or plan validation (use design-validator).
Also in 3 projects that use this
diego-tobalinaSkillbuild-fix
Fix build and compilation errors systematically. Run when build fails.
Also in 6 projects that use this
AaravChadhaSkillsecure
Security review with a confidence gate - a finding exists only with a concrete exploit scenario and a high/medium/low confidence rating; everything else goes to a worth-hardening list, never inflated. Sweeps five surfaces: auth gates, secrets hygiene, injection and unsafe sinks, unsafe deserialization/crypto/transport, and LLM tool-use trust boundaries. Reports only, never fixes. Use when the user asks for a security review or to check vulnerabilities, secrets, or auth.
Also in 3 projects that use this
ArvorCoSkillspecify
Create feature specification from natural language description. Use when starting a new feature or creating a spec. Triggers on: create spec, specify feature, new feature spec.
Also in 10 projects that use this
- +1 more from TheKREATORS
Other versions188 projects use a version of this.
Word for word · 0
None found.
Edited · 0
None found.
Wrote their own version · 188
- react/react★ 252ksame name
- facebook/react★ 252ksame name
- garrytan/gstack★ 141ksame name
- oven-sh/bun★ 97ksame name
- anthropics/financial-services★ 41ksame name
- anthropics/financial-services-plugins★ 41ksame name
- Yeachan-Heo/oh-my-claude-sisyphus★ 41ksame name
- Yeachan-Heo/oh-my-claudecode★ 41ksame name
- anthropics/claude-quickstarts★ 19ksame name
- NVIDIA-NeMo/Speech★ 19ksame name
178 more not listed
How matches are found. Word for word: the exact same text. Edited: shares passages with this file (“99% same” means 99% of its five-word phrases also appear here; 10% or more counts). Their own version: similar meaning, or, weakest, the same name. We can’t tell which project had it first. Projects are counted among the 200 most-starred candidates, and mentions are links to the repository we found, up to 50 per site, so both counts are a floor.
In this repository2 other files it gives its agents.
- crosscheckSkill
- unit-testSkill
The file
Show its rules and text
We split this skill into the rules it gives an agent
13 rules. 0 are common, 8 are distinctive, and 5 are very specific to this project.
0
Common
Most of the 167 edited versions we read keep these.
8
Distinctive
This author's own choices. Worth a look.
5
Very specific
Tied to their project's names, files or tools. Probably skip.
- Common
- Distinctive
- Very specific
- Very specific: line 33
Keep initial proposals blind for independent and mutual.
- Distinctive: line 35
Stop when another call cannot change the decision or verify an accepted fix.
- Distinctive: line 39
Read applicable project rules.
- Distinctive: line 42
Run the smallest relevant existing local checks.
- Very specific: line 54
Run the selected wrapper's check before the first authorized call.
- Distinctive: line 57
Use a caller timeout of at least 930 seconds (930000 only for tools whose timeout unit is milliseconds).
- Distinctive: line 58
Never read raw crosscheck logs wholesale.
- Distinctive: line 63
Do not ask reviewers to invoke another model or recursively load crosscheck workflows.
- Distinctive: line 70
Only the current reviewer session home is writable.
- Very specific: line 83
Ask Codex to inspect git diff <base> and git status --short and read relevant untracked files.
- Very specific: line 99
Implement: Only in full, the host applies verified, in-scope findings under existing permissions.
- Very specific: line 104
If a reviewer is unavailable during full, explain why, continue authorized local work, and mark skipped crosscheck phases explicitly.
- Distinctive: line 110
Never claim crosschecking occurred unless an actual reviewer response was collected.
“Common” is measured: kept by at least 6 in 10 of the 167 edited versions of this file we could read. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.
Files
Verify
One shared entrypoint for Claude Code and Codex. The current agent remains the host and owns implementation; the counterpart may propose alternatives and review but never edits.
Route and permission
- Ordinary verification: inspect and test locally; never call an external LLM.
- Crosscheck: require explicit task-scoped permission to involve the selected external reviewer. Loading this skill, installing it, or asking for generic verification is not permission.
- Claude host → Codex reviewer. Codex host → Claude reviewer; never invoke Codex recursively from Codex.
- Respect an explicitly requested reviewer, but do not describe same-family review as independent cross-model verification; clarify that conflict before calling.
- Infer the stopping stage separately from the strategy below:
analyzefor opinions or exploration,planfor a plan,verifyfor completed work, andfullonly when implementation is genuinely requested and authorized. An ambiguous advice request never defaults tofull. - Review-only requests stay read-only. Ask separately before DB, network, remote, destructive, deployment, Git mutation, or service-changing operations beyond the authorized reviewer call.
Automatic crosscheck strategy
Choose from the existing question, draft, constraints, and impact; do not ask the user to choose a strategy. Respect an explicitly requested method. Automatic routing does not grant external-model permission.
| Situation, in priority order | Strategy | Minimum useful work |
| Completed work to verify | Completion review | Fresh reviewer session; skip idea generation and planning |
| Open substantial design/workflow improvement, or consequential unresolved tradeoffs needing fresh alternatives | mutual | Independent proposals, then each reviews the other's proposal once |
| A concrete draft needing refinement, without the tradeoffs above | debate | Reviewer critiques the draft; host accepts or rebuts with evidence |
| Open exploration or a small improvement without a concrete draft | independent | Independent proposals; host checks and merges them |
- Ordinary trivial verification stays local. If the user explicitly requested crosschecking a trivial task, honor it with one narrowly scoped review rather than silently skipping it.
- Broad improvement exploration normally uses
mutual; a narrow, low-impact question usesindependent. A supplied draft alone does not justify a heavier workflow. - Words such as "핑퐁", "크로스체크", or "고도화" alone do not select
mutual. Infer from actual scope and uncertainty; a narrow draft can usedebate. An explicit method describes the sequence, such as independent-only analysis or each side reviewing the other's proposal. - Keep initial proposals blind for
independentandmutual. Fordebate, disclose the draft deliberately and still ask whether its premise or a simpler alternative is better. - For advice or planning, read crosscheck-strategies.md for the shared brief, candid evaluation, and exchange rules. Do not load it for completion-only verification.
- Stop when another call cannot change the decision or verify an accepted fix. Never request agreement for its own sake; preserve unresolved dissent. Honor explicitly requested mutual review even when the initial proposals agree.
Local verification
- Read applicable project rules; inspect
git status --shortand the relevant diff or stated baseline. Outside Git, inspect the explicitly scoped files instead. - Trace callers, contracts, authorization, state changes, and cache/persistence effects.
- Confirm findings at the cited line and reachable call path; reproduce when practical.
- Run the smallest relevant existing local checks. Do not equate syntax checks with behavioral tests.
- Report
PASS,FAIL, orPARTIAL, severity-ordered findings withfile:line, checks actually run, and unverified risks.
Shared call boundary
Resolve scripts/ relative to this skill directory, then use absolute paths from the target repository. The bundled wrappers are the shared implementation; legacy entrypoints link to them. Do not call claude -p or codex exec directly.
| Reviewer | Wrapper | Environment for approved model calls |
| Claude | scripts/claude_ask.sh | CROSSCHECK_REMOTE_APPROVED=1; CROSSCHECK_BASE_SHA for a recorded baseline |
| Codex | scripts/codex_ask.sh | CROSSCHECK_SANDBOX=read-only |
- Run the selected wrapper's
checkbefore the first authorized call. It checks local installation/authentication without a model request. - The Codex wrapper does not enforce the permission gate itself: the host MUST obtain task-scoped authorization before calling it.
- Pass paths and line ranges, never entire files or diffs. Summaries sent to the reviewer must be at most 15 lines.
- Use a caller timeout of at least 930 seconds (930000 only for tools whose timeout unit is milliseconds). The wrapper's default internal limit is 900 seconds.
- Never read raw crosscheck logs wholesale. They contain repository content. Read only narrowly filtered diagnostic excerpts.
- Retain the exact
SESSION: <uuid>returned. Never resumeUNKNOWN, an implicit latest session, another reviewer's session, or a session from another repository. Start fresh after three rounds or a topic change. VERDICT: AGREE|DISAGREE|NEED_INFOis the review format. Findings are#N [blocking|minor]. Refer to finding numbers in follow-ups instead of repeating their text.- Advice adds
RECOMMENDATION: adopt|revise|keep-current|avoid|need-infoand a reason. This judges the proposal's value;VERDICTremains the assessment of the stated question or draft. Agreement is not implementation permission or evidence of correctness. - On permission/authentication/quota/timeout/error or format warnings, handle the actual status; never invent a successful verdict. Re-ask malformed findings, but a length-only warning can be accepted if the verdict and findings are otherwise valid.
- Do not ask reviewers to invoke another model or recursively load crosscheck workflows. Preserve explicit user model/effort settings; do not change the host model or effort.
Claude reviewer
The wrapper uses a read-only Bubblewrap mount and a restricted Read, Glob, Grep allowlist; reviewer Bash, mutation tools, customizations, and subagents are disabled. Admin-managed policy may still apply.
The repository is mounted at /workspace; Git evidence is at /evidence. The existing review_git.sh gathers status, HEAD, diff, and untracked-file artifacts locally.
Tell Claude to inspect that evidence rather than execute Git commands. Diff excludes untracked contents: the reviewer must read relevant untracked files directly.
Only the current reviewer session home is writable. Host credentials enter through a one-use descriptor; unrelated home directories and previous sessions are not mounted.
# 승인된 작업에서만 실행하며 경로와 기준 커밋을 실제 값으로 치환한다.
CROSSCHECK_REMOTE_APPROVED=1 CROSSCHECK_BASE_SHA=<base-commit> \
/absolute/skill/scripts/claude_ask.sh new -C /path/to/repo "질문"
CROSSCHECK_REMOTE_APPROVED=1 \
/absolute/skill/scripts/claude_ask.sh resume <session-uuid> -C /path/to/repo "후속 질문"Codex reviewer
The existing wrapper uses Codex's read-only sandbox. Keep CROSSCHECK_SANDBOX=read-only; do not expand its permissions.
Ask Codex to inspect git diff <base> and git status --short and read relevant untracked files. Unlike the Claude wrapper, it does not use the /workspace and /evidence mount contract.
resume inherits its original repository and sandbox; do not pass -C to change them.
# 명시적인 Codex 검토 승인 후에만 실행한다.
CROSSCHECK_SANDBOX=read-only \
/absolute/skill/scripts/codex_ask.sh new -C /path/to/repo "질문"
/absolute/skill/scripts/codex_ask.sh resume <session-uuid> "후속 질문"Crosscheck workflow
- Gate: Record the original requirement, base commit (
git rev-parse HEAD), and working-tree status. Preserve pre-existing changes. Establish authorization and run the selected preflight. For non-Git targets, clarify evidence and wrapper compatibility first. - Initial assessment: For
independentormutual, fix the reviewer prompt to the question and path hints before the host investigates; include no host conclusions. If supported, run the reviewer with a retained background/live handle while the host independently investigates. Record the host conclusion before collecting or reading reviewer output. Without background execution, record the host analysis first, then run the unchanged reviewer prompt in the foreground. Fordebate, send the existing draft and evaluate it locally; skip blind proposal generation. Never fire-and-forget or rerun a completed call merely because its task handle expired; collect its exact result file if available. - Compare: Treat findings as hypotheses. Check code claims against source, reachable callers, and a minimal reproduction when feasible; check conceptual claims against supplied facts, constraints, and feasibility without inventing file evidence.
independentends with the host's checked merge.mutualrequires the host to review the counterpart's proposal and the counterpart to review the recorded host proposal.debatestarts with the draft critique. Default to one exchange, with at most one additional exchange only for decision-changing evidence, an unresolved consequential objection, or an accepted fix needing confirmation. Send proposal summaries and relevant findings, not just disagreements; record dissent. Stop here foranalyze. - Plan: In
planorfull, draft at most 15 lines. Review missing edge cases, simpler alternatives, and conflicts; reuse a critique only if it already covered this exact plan and constraints. Do not repeat an unchanged review. Cap planning at three rounds, stopping earlier when further calls cannot affect the plan. Stop here forplan. - Implement: Only in
full, the host applies verified, in-scope findings under existing permissions. Reviewers never edit. Run the smallest relevant local checks. - Completion: For
fullorverify, start a fresh reviewer session with the requirement in at most three lines and the recorded baseline. Use the reviewer's evidence contract above. Review coverage, regressions, and unverified risks. Cap formal review at two rounds; allow one confirmation-only pass after the last accepted fix.verifygoes directly to this step after the gate, without unsolicited analysis/planning/implementation.
Completion prompts use the original request and changed paths, not a favorable host-written claim of success. Inspect only relevant failure conditions: authorization/trust boundaries, data loss, retry/rollback/partial failure, concurrency/stale state, missing inputs/timeouts/dependency failure, compatibility, and gaps that conceal failures. Each finding explains the failure, reachable cause, impact, and concrete remedy; do not invent style complaints or speculative defects. A confirmation-only pass checks the accepted fixes, without expanding the review scope.
If a reviewer is unavailable during full, explain why, continue authorized local work, and mark skipped crosscheck phases explicitly.
For analysis-only, plan-only, or verify-only crosscheck requests, stop and ask rather than silently substituting solo review.
Report
Report the selected strategy and reason in one line, then the merged conclusion, calls/exchanges actually completed, accepted/rebutted findings, valuable minority proposals, unresolved dissent, local checks and results, and skipped checks or risks. For advice, lead with the recommendation and its conditions; say plainly when an idea is poor value or should be avoided. Do not pad the report with empty sections. Never claim crosschecking occurred unless an actual reviewer response was collected. Static or syntax-only checks are not behavioral test completion.
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

