feynman-auditor
CommunityDeep logic bug finder.
Software Engineering#code review#vulnerability discovery#security audit#feynman technique#smart contract audit#logic bugs
Author0xiehnnkta
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill identifies complex business logic bugs in code that traditional pattern-matching tools often miss by systematically questioning the reasoning behind every line of code.
Core Features & Use Cases
- First-Principles Auditing: Applies the Feynman technique to challenge assumptions, uncover hidden invariants, and expose logic flaws.
- Language-Agnostic: Works across various programming languages (Solidity, Move, Rust, Go, C++, Python, TypeScript) by focusing on universal logic principles.
- Use Case: Audit a smart contract for subtle economic exploits or a critical backend service for race conditions that automated scanners overlooked.
Quick Start
Use the feynman-auditor skill to perform a deep logic review on the provided codebase.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 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: feynman-auditor Download link: https://github.com/0xiehnnkta/nemesis-auditor/archive/main.zip#feynman-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.