Skill Claude CodeCodex
L1 trigger - audits configuration constants, documented bounds, feature-gated values, and unused protocol limits for semantic drift.
279 1mo ago A 29 tokens
original MIT
Skill Claude CodeCodex
L1 trigger - audits consensus arithmetic for truncation, unused bounds, EMA direction, and threshold edge errors.
279 1mo ago A 30 tokens
original MIT
Skill Claude CodeCodex
L1 trigger - detects non-determinism, state transition completeness violations, and safety/liveness invariant breaks in consensus code. Inject into depth-consensus-invariant or depth-state-trace.
279 1mo ago A 45 tokens
original MIT
Skill Claude CodeCodex
L1 trigger - audits replay protection, transaction identity binding, and cross-layer uniqueness.
279 1mo ago A 26 tokens
original MIT
Skill Claude CodeCodex
L1 trigger - audits IBC / ibc-go cross-chain entry points for ICS-23 / Merkle proof gaps, ordered-channel sequence integrity, escrow burn mint synchronization, light-client version downgrade, and timeout/ack handler reentrancy.
279 1mo ago A 58 tokens
original MIT
Skill Claude CodeCodex
L1 trigger - audits Cosmos-SDK / CometBFT modules for consensus non-determinism, unmetered ABCI hooks, signer/state mismatches, module-account bookkeeping breaks, sdk.Dec rounding, ABCI-path panics, unregistered Msg handlers, and fee/gas overflow.
279 1mo ago A 66 tokens
original MIT
Skill Claude CodeCodex
L1 trigger - audits L1/L2 boundary bugs, precompile context assumptions, integer width mismatches at environment boundaries, and EVM-on-non-EVM drift.
279 1mo ago A 43 tokens
original MIT
Skill Claude CodeCodex
L1 supplement - audits storage / data-availability chains (Arweave / Celestia-class) for unenforced data commitments: producer commits to data inclusion but the validator never verifies the data was actually published / gossiped / sampled.
279 1mo ago A 55 tokens
original MIT
Skill Claude CodeCodex
L1 supplement - audits Go modules and Rust crates for known vulnerabilities, outdated versions, supply chain risks, and replace/patch directives.
279 1mo ago A 33 tokens
original MIT
Skill Claude CodeCodex
L1 trigger - audits execution engine (EVM interpreter, WASM, SVM) for memory corruption, gas mispricing (EXTCODESIZE class), opcode semantics, and VM invariant breaks.
279 1mo ago A 45 tokens
original MIT
Skill Claude CodeCodex
L1 trigger - audits fork-choice rule implementation (LMD-GHOST, Tendermint locking, Nakamoto longest-chain) for equivocation handling, slot-vs-block reasoning, duplicate block handling, and chain reorg correctness.
279 1mo ago A 51 tokens
original MIT
Skill Claude CodeCodex
L1 supplement - audits Go-specific concurrency hazards in node client code: map iteration non-determinism, goroutine leaks, mutex ordering, panic boundaries, context cancellation.
279 1mo ago A 40 tokens
original MIT