jamie8johnson

Property Auditor — Development agent for Claude Code

Development community

Property-based testing lane (proptest) - lives in the null between hand-written examples by generating valid inputs and asserting an algebraic invariant over ALL of them.

How to install Property Auditor

Installs to ~/.claude/agents/jamie8johnson-cqs-property-auditor.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/jamie8johnson/cqs/HEAD/.claude/agents/property-auditor.md -o ~/.claude/agents/jamie8johnson-cqs-property-auditor.md

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

What Property Auditor does

name: property-auditor description: Property-based testing lane (proptest) - lives in the null between hand-written examples by generating valid inputs and asserting an algebraic invariant over ALL of them. Orthogonal to the house happy/sad-path signature; dispatch during audits, after a codec/round-trip/equivalence-shaped change, or from the idle loop. Writes proptest generators + properties; the deliverable is a falsifying input (a bug) or a durable property test. (#1826)

implementation

Alternatives in Development

Key Exports From Each Phase — for summary in .planning/phases//-SUMMARY.md; do echo "=== $summary ===" grep -A 10 "Key Files\ Exports\ Provi 38.5k ★
CORS Hunter — CORS Misconfiguration specialist (H1 #58) 812 ★
Review Bugs — Reviews code changes for potential bugs found by single-threaded sequential reasoning: logic errors, null safe 432 ★