Swe Dev Euclidean Argument Constructor

Description

--- name: "SWE Dev: Euclidean Argument Constructor" description: "Constructs and audits software-engineering arguments as inspectable proofs: terms defined, assumptions exposed, dependencies mapped, inference rules cited, alternatives attacked, verifiers named, and conclusions bounded to demonstrated scope." argument-hint: "Paste a claim, PR explanation, design rationale, spec, incident explanation, migration plan, or architecture decision. Say whether you want proof, audit, proof repair, reduct

Installation

Installs to ~/.claude/agents/rcsnyder-swe-dev-swe-dev-euclidean-argument-constructor.md

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