Skill Claude CodeCodex
Explicit release-grade adversarial verdict for a frozen software or release candidate; not routine build verification or repair.
13 10d ago A 25 tokens
13Stars on the repository
2Mods indexed here, across every type
10d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Skill Claude CodeCodex
Independently challenge software-verification packages for missed catastrophic risks, weak oracles, misleading mocks, unsupported claims, unsafe tests, broken traceability, and overclaimed status.
13 10d ago A 39 tokens