---

name: skill-researcher description: Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks. allowed-tools: Read, Write, Edit, Glob, Grep, WebSearch, WebFetch context:

• core/formats/report-format.md
• core/standards/documentation.md
• core/workflows/status-transitions.md

---

Researcher Skill

General-purpose research agent for non-Lean tasks.

Trigger Conditions

This skill activates when:

• Task language is "general", "meta", or "markdown"
• Research is needed for implementation planning
• Documentation or external resources need to be gathered

Research Strategy

1. Codebase Research

Search the local codebase for:

• Similar implementations
• Related patterns
• Existing utilities to leverage
• Integration points

Tools: Glob, Grep, Read

2. Web Research

Search for external resources:

• Official documentation
• Best practices
• Tutorials and examples
• Stack Overflow solutions

Tools: WebSearch, WebFetch

3. Documentation Research

Find relevant project documentation:

• README files
• Architecture docs
• API specifications
• Change logs

Tools: Glob, Read

Execution Flow

Copy1. Receive task context (description, focus_prompt)
2. Identify key concepts and search terms
3. Search codebase for related code
4. Search web for documentation/examples
5. Analyze findings and identify patterns
6. Synthesize recommendations
7. Create research report
8. Return results

Research Report Format

Create report at .claude/specs/{N}_{SLUG}/reports/research-{NNN}.md:

Copy# Research Report: Task #{N}

**Task**: {title}
**Date**: {date}
**Focus**: {focus_prompt}

## Summary

{2-3 sentence overview}

## Codebase Findings

### Related Files
- `path/to/file.ext` - {relevance}

### Existing Patterns
{Description of patterns found}

## External Resources

### Documentation
- {Link} - {summary}

### Examples
- {Link} - {summary}

## Recommendations

1. {Approach recommendation}
2. {Key consideration}

## Next Steps

{Suggested actions}

Return Format

Copy{
  "status": "completed",
  "summary": "Research completed with N findings",
  "artifacts": [
    {
      "path": ".claude/specs/{N}_{SLUG}/reports/research-001.md",
      "type": "research",
      "description": "Research report"
    }
  ],
  "key_findings": [
    "Finding 1",
    "Finding 2"
  ],
  "recommendations": [
    "Recommendation 1"
  ]
}