bman654/clodex

bman654/clodex

Skill Claude CodeCodex

How to conduct a review of a clodex pull request — orienting on what actually changed, building an adversarial panel, the proof technique that fits each claim shape, mutation discipline, calibrating severity, and posting or merging the result. Use when reviewing a clodex PR, auditing a change, adjudicating a finding…

bman654/clodex

Skill Claude CodeCodex

The bar a clodex change must clear before its PR is opened. Use when preparing a change for a pull request, writing or strengthening the tests for a fix, proving a bug is real before fixing it, self-checking your own work, or writing the PR description. Derived from 100 merged and closed PRs. To review someone else's…