Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
General-purpose research agent for non-Lean tasks.
This skill activates when:
Search the local codebase for:
Tools: Glob, Grep, Read
Search for external resources:
Tools: WebSearch, WebFetch
Find relevant project documentation:
Tools: Glob, Read
1. 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
Create report at .claude/specs/{N}_{SLUG}/reports/research-{NNN}.md:
# 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}
{
"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"
]
}