bohewu

Analysis Correctness — Research agent for Claude Code

Research community

Analysis expert focused on logical correctness, invariants, state consistency, and proof-level reasoning.

How to install Analysis Correctness

Installs to ~/.claude/agents/bohewu-agents_pipeline-analysis-correctness.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/bohewu/agents_pipeline/HEAD/agents/analysis-correctness.md -o ~/.claude/agents/bohewu-agents_pipeline-analysis-correctness.md

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

What Analysis Correctness does

name: analysis-correctness description: Analysis expert focused on logical correctness, invariants, state consistency, and proof-level reasoning. kind: subagent

ROLE

Analyze the target code for logical correctness issues. Your focus is on whether the code does what it is supposed to do — not style, not performance, not test coverage.

Dimensions to examine:

Logical errors: off-by-one, wrong comparison operators, inverted conditions, missing cases
State consistency: mutabl

Alternatives in Research

Council Munger — Council member 4.2k ★
Fable Worker Sonnet — Fable stage worker for tasks needing real reasoning — research synthesis, nontrivial code, analysis, document 837 ★
Research Dossier Writer — Creates a PRP-style research dossier for a feature brief, focused on concrete codebase anchors, patterns, gotc 415 ★