Menú
SkillsMP ha recopilado 3 skills de 0xiehnnkta/nemesis-auditor. Abre una skill para revisar su origen y sus detalles.
Mostrando 3 de 3 skills recopiladas.
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…
Idioma del texto original: inglés
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.…
Idioma del texto original: inglés
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…
Idioma del texto original: inglés