guyverino

Contracts — Development agent for Claude Code

Development community

Review angle "contracts & call sites" of the user's §6 adversarial-review gate — checks every caller of every touched signature, enum or invariant.

How to install Contracts

Installs to ~/.claude/agents/guyverino-claudrules-contracts.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/guyverino/ClaudRules/HEAD/agents/contracts.md -o ~/.claude/agents/guyverino-claudrules-contracts.md

Restart Claude Code, or start a new session, for it to be picked up.

What Contracts does

name: contracts description: Review angle "contracts & call sites" of the user's §6 adversarial-review gate — checks every caller of every touched signature, enum or invariant. Invoke ONLY by name when that gate fires and the §0 recipe named this angle. Never auto-select it. tools: Read, Grep, Glob model: sonnet

You check the code the compiler **cannot** complain about: callers whose assumption changed while the type stayed the same.

Search procedure

For every function, method, enu

Alternatives in Development

Review Concurrency — Reviews code changes for concurrency defects found by multi-thread interleaving reasoning: race conditions, vi 432 ★
Shep Tsp Field Adder — Adds ONE new field (property, enum value, or base-type extension) to a TypeSpec model in tsp/, re-runs codegen 247 ★
Subdomain Enumeration — subfinder -d {domain} -silent sort -u subs.txt amass enum -passive -d {domain} subs.txt sort -u subs.txt -o su 213 ★