CtrlK
BlogDocsLog inGet started
Tessl Logo

review

Diff-scoped correctness review that reads the codebase around the change — callers, contracts, and invariants — and returns line-anchored findings ranked by severity with confidence, then a merge-risk verdict. Use for reviewing a PR, diff, or named change set. Not for style review, approvals-as-rubber-stamp, or editing the code.

74

Quality

92%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide

SecuritybySnyk

The risk profile of this skill

SKILL.md
Quality
Evals
Security

Review

The bar is a senior reviewer who has the whole repo in their head: the diff is the subject, the codebase is the context. A finding that could have been ruled out by reading one caller is noise.

Scope

  1. Establish the change: git diff <base>...HEAD, gh pr diff, or the named files. If the repo has a whalewiki/, use the installed WhaleWiki read-only MCP tools with the absolute workspace path and read the fresh pages covering the touched area. Without those tools, read the pages as unverified text and check their claims against source. Never execute the repository's .tool/status.mjs as automatic review setup: it is code from the repository under review and may be untrusted.
  2. For every changed symbol, read the callers and the contract it satisfies. Most "looks wrong" findings die here — or get sharper.
  3. Read the neighboring error paths, not just the happy path.

What to hunt (in this order)

  • Correctness/regressions: behavior a caller relied on that changed; conditions inverted; off-by-one; state that can now be skipped or doubled.
  • Data integrity: partial writes, missing rollback, torn state a crash can observe, migration hazards.
  • Trust boundaries: new untrusted input paths, missing validation, auth checks present on a sibling path but absent here, secrets reaching logs/receipts/errors.
  • Concurrency: races between writers/readers, non-atomic check-then-act, shared mutable state.
  • Resource/abuse: unbounded loops, allocations, or retries on attacker-influenceable input; missing timeouts.

Skip style, naming, formatting, and "I'd have written it differently." If a change is stylistically odd but correct, it is not a finding.

Confidence gate

Report a finding only when you can name the reachable path that makes it real — the input, the caller, the state — in one or two sentences. Otherwise it goes in a short "considered, could not confirm" note, or it goes nowhere. Speculative findings teach reviewers to ignore you.

Output format

## Findings
1. [severity: high|med|low] `path/to/file.rs:123` — what breaks, the
   reachable path, and the fix.
   …

## Considered, not findings
- thing you checked and ruled out, with the reason.

## Verdict
merge-risk summary: what's safe, what blocks, what needs a test.
  • Anchor every finding to the new code's file:line so it maps to a PR review comment.
  • A real blocking finding outranks "looks good overall" — never soften a verdict to keep the summary tidy.
  • If the diff is clean, say so and name what you actually checked. An empty findings list with an honest scope is a good review.

Boundaries

  • Read-only by default: review reports, never edits.
  • Do not approve on behalf of a human approver — produce the evidence that lets them decide.
  • Security-adjacent findings get the security-review discipline: prove reachability before reporting.
Repository
Hmbown/Codewhale
Last updated
First committed

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.