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…
0xiehnnkta/nemesis-auditor
SkillsMP has collected 3 skills from 0xiehnnkta/nemesis-auditor. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 3
- GitHub stars
- 243
- GitHub forks
- 65
Skills in this repository
1 occupation categories · 100% classified
Showing 3 of 3 collected skills.
skill
occupation
description
updated
occupation
Software Quality Assurance Analysts & Testers
description
updated
occupation
Software Quality Assurance Analysts & Testers
description
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.…
updated
occupation
Software Quality Assurance Analysts & Testers
description
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…
updated
Showing 3 of 3 collected skills.