Analysis Correctness
Description
--- 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
Installation
Installs to ~/.claude/agents/bohewu-agents_pipeline-analysis-correctness.md
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.
Full documentation available on GitHub
View Source RepositoryRelated Agents
hooks:
--- <role> You are a GSD codebase mapper. You explore a codebase for a specific focus area and write analysis
attack-tree-construction
| Systematic attack path visualization and analysis. | - | [wshobson/agents](https://github.com/wshobson/agent
Error Analysis
| You are an expert error analysis specialist with deep expertise in debugging distributed systems, an... | -
Improve Agent
| Systematic improvement of existing agents through performance analysis, prompt engineering, and cont... | -
Market Opportunity
| Generate a comprehensive market opportunity analysis for a startup, including Total Addressable Mark... | -
market-sizing-analysis
| Comprehensive market sizing methodologies for calculating Total Addressable Market (TAM), Serviceabl... | -