// Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
Implement LaTeX documents following a plan. Invoke for LaTeX-language implementation tasks.
Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
Research and develop semantic theories using ModelChecker with Z3 SMT solver. Define operators, adjust frame constraints, create examples, run tests, and report findings. Invoke with /mc or when working with model-checker, semantic theories, or Z3 constraints.
Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
| 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 | fork |
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"
]
}