メニュー
SkillsMP は 0xiehnnkta/nemesis-auditor から 3 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
収集済み skill 3 件中 3 件を表示しています。
Deep business logic bug finder using the Feynman technique. Language-agnostic — works on Solidity, Move, Rust, Go, C++, or any codebase. Questions every line, every ordering choice, every guard presence/absence, and every implicit assumption to surface logic…
原文の言語: 英語
The Inescapable Auditor. Runs the full Feynman Auditor (Stage 1) and full State Inconsistency Auditor (Stage 2) as primary steps, then fuses their outputs in a feedback loop (Stage 3) to find bugs at the intersection that neither alone would catch.…
原文の言語: 英語
Finds state inconsistency bugs where an operation mutates one piece of coupled state without updating its dependent counterpart, causing silent data corruption or reverts in subsequent operations. Triggers on /state-audit, state inconsistency audit, or…
原文の言語: 英語