skills.rest
0xiehnnkta0xiehnnktaCommunity·3 Agent Skills Included

nemesis-auditor

Iterative deep-logic security audits for any codebase

Runs iterative security audits that alternate between first-principles logic questioning and coupled-state inconsistency mapping until no new bugs surface. Finds business logic flaws, missing state updates, and ordering bugs that pattern-matching scanners miss, in Solidity, Rust, Go, Python, and more. Produces verified, deduplicated findings with severity ratings, trigger sequences, and minimal fixes.
243|63
↗
npx skills add 0xiehnnkta/nemesis-auditor --all -g -y
Available:

Instructs the agent on how to run the iterative audit loop, route commands like /nemesis, /feynman, and /state-audit to the correct sub-skills, and save findings to the .audit/findings folder.

All Skills in This Repository (3)

Pure Emerald Level Indicators
📦 In Repo
0xiehnnkta0xiehnnkta

state-inconsistency-auditor

Identifies state inconsistency bugs by mapping coupled pairs and mutation paths across codebases.

Community
Advanced
📦 In Repo
0xiehnnkta0xiehnnkta

feynman-auditor

Audit business logic across languages using first-principles questioning.

Community
Advanced
📦 In Repo
0xiehnnkta0xiehnnkta

nemesis-auditor

Run iterative security audits alternating business logic and state inconsistency detection.

Community
Advanced

Frequently Asked Questions

FAQPage Schema
How to install Nemesis Auditor?▼

Run `npx skills add 0xiehnnkta/nemesis-auditor --all -g -y` in your terminal to install all audit skills globally.

What bugs does Nemesis find?▼

It finds deep business logic bugs and coupled state inconsistency bugs, such as functions that update one value but forget its dependent counterpart. The two auditors run in alternating passes until no new findings emerge.

Which programming languages are supported?▼

Nemesis is language-agnostic and works on Solidity, Move, Rust, Go, C++, Python, TypeScript, and any other codebase, since logic bugs live in the reasoning rather than the syntax.

How do I run a full audit?▼

Start Claude Code in your project directory and type /nemesis to launch the full iterative audit. You can also audit a single contract with /nemesis --contract [name] or resume an interrupted run with /nemesis --continue.

Where are the audit results saved?▼

Per-pass findings are saved to .audit/findings/ as separate markdown files, and the final verified, deduplicated report is written to nemesis-verified.md with severity ratings and fixes.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills