Skills
.Work. You
Rest

code-logic-checker

Community

Find logic bugs and gaps in code.

Software Engineering#debugging#requirements#logic#edge-cases#static-analysis#code-analysis
AuthorJimmyTranDev
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Verify that logic is sound. Find contradictions, invalid assumptions, flawed reasoning, and logical gaps in code and requirements.

Core Features & Use Cases

  • Internal checks: Detect dead code and unreachable branches, missing return paths, and unsafe assumptions.
  • Policy & requirements analysis: Analyze requirements for contradictions, implicit dependencies, and inconsistent constraints.
  • Risk evaluation: Provide structured guidance on potential logic failures and recommended fixes.

Quick Start

Ask the analyzer to identify contradictions, invalid assumptions, and missing edge cases in the provided code or requirements and suggest concrete fixes.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 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: code-logic-checker
Download link: https://github.com/JimmyTranDev/dotfiles/archive/main.zip#code-logic-checker

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.