Proof Structure Analyzer

---
name: proof-structure-analyzer
description: Analyze and restructure mathematical proofs for clarity and completeness
allowed-tools:
  - Bash
  - Read
  - Write
  - Edit
  - Glob
  - Grep
metadata:
  specialization: mathematics
  domain: science
  category: theorem-proving
  phase: 6
graph:
  domains: [domain:mathematics]
  specializations: [specialization:computational-mathematics]
  skillAreas: [skill-area:mathematical-reasoning, skill-area:compiler-implementation, skill-area:language-design]
  workflows: [workflow:experiment-design]
  roles: [role:computational-scientist, role:research-scientist]
---

# Proof Structure Analyzer

## Purpose

Provides analysis and restructuring capabilities for mathematical proofs to improve clarity, completeness, and logical flow.

## Capabilities

- Proof strategy identification (induction, contradiction, etc.)
- Dependency graph construction
- Gap detection in reasoning chains
- Proof outline generation
- Lemma extraction suggestions

## Usage Guidelines

1. **Strategy Analysis**: Identify the overall proof approach
2. **Dependency Mapping**: Build logical dependency graphs
3. **Gap Detection**: Find missing steps or unjustified claims
4. **Restructuring**: Suggest clearer proof organization

## Tools/Libraries

- Natural language parsing
- Formal logic representation
- Graph analysis tools