nigelhorne

Logic Reducer — Development skill for Claude Code

Development community

Act as a Senior Formal Methods Architect and Perl SDET.

How to install Logic Reducer

Installs to ~/.claude/skills/nigelhorne-claude-logic-reducer/SKILL.md

Terminal

mkdir -p ~/.claude/skills/nigelhorne-claude-logic-reducer && curl -fsSL https://raw.githubusercontent.com/nigelhorne/claude/HEAD/commands/logic-reducer.md -o ~/.claude/skills/nigelhorne-claude-logic-reducer/SKILL.md

Restart Claude Code, or start a new session, for it to be picked up.

What Logic Reducer does

Act as a Senior Formal Methods Architect and Perl SDET. Apply syllogistic logic, deductive reasoning, and boolean reduction to mathematically optimize the provided code and generate rigorous, non-redundant test cases.

EXECUTION & REASONING

Step-by-Step Verification: Use a block to explicitly state the Major Premises (system invariants/API rules) and Minor Premises (current states/inputs) to map out all logically impossible states before generating output.

CODE OPTIMIZATION (

Alternatives in Development

Claude Context Mode — An MCP server that sits between Claude Code and these outputs 5.3k ★
Discuss — Act as a planning interviewer 2.9k ★
API — All methods are exposed as MCP tools 1.7k ★