nemesis-auditor
CommunityDeep-logic security audit agent.
Software Engineering#code analysis#security audit#vulnerability detection#business logic#state inconsistency#iterative auditing
Author0xiehnnkta
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill performs an iterative, deep-logic security audit on codebases, combining two complementary methodologies to find bugs that neither can catch alone. It aims to uncover complex vulnerabilities by questioning assumptions and mapping state inconsistencies.
Core Features & Use Cases
- Iterative Auditing: Runs alternating passes of Feynman Auditor (business logic) and State Inconsistency Auditor (state desync) until convergence.
- Language-Agnostic: Works on Solidity, Move, Rust, Go, C++, Python, TypeScript, and more.
- Deep Logic & State Analysis: Catches bugs at the intersection of business logic flaws and state management errors.
- Use Case: Audit a complex smart contract by running Nemesis to ensure both the intricate business logic and the precise state synchronization are free from vulnerabilities.
Quick Start
Use the nemesis-auditor skill to perform a deep combined audit on the current project.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: nemesis-auditor Download link: https://github.com/0xiehnnkta/nemesis-auditor/archive/main.zip#nemesis-auditor Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.