Menu
SkillsMP a collecté 3 skills depuis 0xiehnnkta/nemesis-auditor. Ouvrez un skill pour examiner sa source et ses détails.
Affichage de 3 skills collectés sur 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…
Langue du texte source : anglais
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.…
Langue du texte source : anglais
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…
Langue du texte source : anglais