benbrastmckie
- 158 skills
- 0 followers
- 1 day ago last updated
- ▌ Skill Lean Implementation · benbrastmckieImplement Lean 4 proofs and definitions using lean-lsp tools. Invoke for Lean-language implementation tasks.
- ▌ Skill Implementer Hard · benbrastmckieExecute hard-mode implementation with anti-analysis contracts, per-phase dispatch, and territory-aware execution. Invoke for --hard implementation tasks.
- ▌ Skill Literature · benbrastmckie bundleManage specs/literature/ — scan, convert PDFs/DJVUs, maintain index.json. Invoke for /literature command.
- ▌
- ▌ Skill Python Research · benbrastmckieResearch Python development tasks. Invoke for Python-language research.
- ▌ Skill Financial Analysis · benbrastmckieFinancial analysis with forcing questions and spreadsheet generation
- ▌ Skill Neovim Implementation · benbrastmckieImplement Neovim configuration changes from plans. Invoke for neovim implementation tasks.
- ▌ Skill Pr Implementation · benbrastmckiePR description preparation for CSLib tasks. Analyzes task description and git diff to produce pr-description.md. Delegates to cslib-implementation-agent and transitions task to [PR READY]. Branch creation and CI are handled by the /pr command. Invoke for pr implementation tasks.
- ▌ Skill Lean Research Hard · benbrastmckieResearch Lean 4 and Mathlib for theorem proving tasks with hard-mode behavioral contracts. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools when hard-mode is requested.
- ▌ Skill Founder Spreadsheet · benbrastmckieCost breakdown spreadsheet generation with forcing questions
- ▌ Skill Pr Review Research · benbrastmckieFetch GitHub PR and Zulip thread data for pr-type review tasks. Invoke for pr research tasks.
- ▌ Skill Cslib Research Hard · benbrastmckieResearch CSLib formalization patterns with hard-mode contracts (H2 anti-analysis, H3 reference grounding with BibKey verification, H4 adversarial verification). Invoke for --hard cslib research tasks.
- ▌ Skill Epi Research · benbrastmckieResearch skill for epidemiology study design and analysis planning. Invoke for epi/epi:study research tasks.
- ▌ Skill Cslib Implementation · benbrastmckieImplement CSLib proofs following Lean 4 and CSLib contribution standards. Invoke for cslib implementation tasks.
- ▌ Skill Email Implementation · benbrastmckieImplement wrapper-only email triage/cleanup tasks from plans. Invoke for email implementation tasks.
- ▌ Skill Epi Implement · benbrastmckieImplementation skill for R-based epidemiology analysis. Invoke for epi/epi:study implementation tasks.
- ▌ Skill Latex Implementation · benbrastmckieImplement LaTeX documents. Invoke for LaTeX-language implementation tasks.
- ▌ Skill Typst Implementation · benbrastmckieImplement Typst documents. Invoke for Typst-language implementation tasks.
- ▌ Skill Python Implementation · benbrastmckieImplement Python code. Invoke for Python-language implementation tasks.
- ▌ Skill Lean Implementation Hard · benbrastmckieImplement Lean 4 proofs using hard-mode behavioral contracts with per-phase dispatch and sorry inventory tracking. Invoke for Lean-language implementation tasks when hard-mode is requested.
- ▌ Skill Pr Review Implementation · benbrastmckieCompose PR review response files (pr-response.md, zulip-response.md) for pr-type review tasks. Delegates to pr-review-implementation-agent when sources are present; falls back to cslib-implementation-agent for legacy PR prep tasks. Transitions task to [PR READY]. Invoke for pr implementation tasks.
- ▌
- ▌ Skill Cslib Implementation Hard · benbrastmckieImplement CSLib proofs with hard-mode contracts (H2 anti-analysis, H7 territory, H9 wrap-up with sorry_inventory). Invoke for --hard cslib implementation tasks.
- ▌
- ▌ Skill Epidemiology Implementation · benbrastmckieImplementation skill for R-based epidemiology analysis
- ▌ Skill Tag · benbrastmckieCreate and push semantic version tags for CI/CD deployment. User-only command - agents cannot invoke.
- ▌ Skill Meta · benbrastmckie bundleInteractive system builder. Invoke for /meta command to create tasks for .opencode/ system changes.
- ▌ Skill Todo · benbrastmckie bundleArchive completed and abandoned tasks with CHANGE_LOG.md updates and memory harvest suggestions
- ▌
- ▌ Skill Spawn · benbrastmckieResearch blockers and spawn new tasks to overcome them, updating parent task dependencies
- ▌
- ▌ Skill Memory · benbrastmckieMemory vault management - create, search, classify, and index memories. Invoke for /learn command memory operations.
- ▌ Skill Planner · benbrastmckie bundleCreate phased implementation plans from research findings. Invoke when a task needs an implementation plan.
- ▌ Skill Refresh · benbrastmckie bundleManage OpenCode resources - terminate orphaned processes and clean up ~/.opencode/ directory
- ▌ Skill Reviser · benbrastmckieThin wrapper that delegates plan revision to reviser-agent subagent. Invoke for /revise command.
- ▌ Skill Team Plan · benbrastmckieOrchestrate multi-agent planning with parallel plan generation. Spawns 2-3 teammates for diverse planning approaches and synthesizes into final plan with trade-off analysis.
- ▌ Skill Researcher · benbrastmckie bundleConduct general research using web search, documentation, and codebase exploration. Invoke for general research tasks.
- ▌ Skill Implementer · benbrastmckie bundleExecute general implementation tasks following a plan. Invoke for general implementation work.
- ▌ Skill Orchestrate · benbrastmckieAutonomous state machine that drives a task through its full lifecycle (research -> plan -> implement -> complete) without user confirmation between phases. Invoke for /orchestrate command.
- ▌ Skill Status Sync · benbrastmckie bundleAtomically update task status across TODO.md and state.json. For standalone use only.
- ▌ Skill Git Workflow · benbrastmckie bundleCreate scoped git commits for task operations. Invoke after task status changes or artifact creation.
- ▌ Skill Orchestrator · benbrastmckie bundleRoute commands to appropriate workflows based on task type and status. Invoke when executing /task, /research, /plan, /implement commands.
- ▌ Skill Team Research · benbrastmckieOrchestrate multi-agent research with wave-based parallel execution. Spawns 2-4 teammates for diverse investigation angles and synthesizes findings.
- ▌ Skill Team Implement · benbrastmckieOrchestrate multi-agent implementation with parallel phase execution. Spawns teammates for independent phases and coordinates dependent phases. Includes debugger teammate for error recovery.
- ▌ Skill Project Overview · benbrastmckieInteractive repository analysis and project-overview.md generation via task creation. Invoke for /project-overview command.
- ▌
- ▌ Skill Funds · benbrastmckieFunding landscape analysis with funder portfolio mapping. Invoke for funds tasks.
- ▌ Skill Grant · benbrastmckieGrant proposal research and drafting with funder analysis. Invoke for grant tasks.
- ▌ Skill Zulip · benbrastmckieFetch a Zulip thread via API and write formatted JSON to a file. Invoke for /zulip command.
- ▌
- ▌
- ▌ Skill Budget · benbrastmckieGrant budget spreadsheet generation with forcing questions. Invoke for budget tasks.
- ▌ Skill Slides · benbrastmckieResearch talk material synthesis, design-aware planning, and presentation assembly. Invoke for slides tasks.
- ▌
- ▌
- ▌
- ▌
- ▌