Awesome Reviewers

Verification · Finding validation

External contract verification

Checks claims about third-party behaviour (an API can return null, a library throws) against authoritative documentation, and grades how strong that proof is.

Sub-techniques

  • Documentation lookup V1044.001

    Fetch the exact library version's documentation or source.

  • Proof grading V1044.002

    Grade as definitive (spec or exhaustive enum), illustrative (an example) or unresolved.

How to build it

  1. Resolve the dependency version from the lockfile.
  2. Fetch that version's docs or source, not the latest.
  3. Keep findings that rest on illustrative proof at lower severity.

Signals in a repository

  • Documentation MCP servers or doc lookup tools configured for the review agent.