Benjamin Brast-McKie
Community@benbrastmckie · San Francisco
Logic
Agent Skills by Benjamin Brast-McKie
Showing 24 vetted skills indexed across 5 GitHub repositories.
benbrastmckieskill-model-checker
Develop modular semantic theories with ModelChecker and Z3 SMT solver.
benbrastmckieskill-python-research
Research Python and Z3 APIs for semantic theories in ModelChecker.
benbrastmckieskill-lean-implementation
Delegate Lean 4 proof and definition tasks to an automation agent.
benbrastmckieskill-lean-research
Delegate Lean-4 theorem proving research tasks to the lean-research-agent.
benbrastmckieskill-lake-repair
Parse Lean lake build outputs and apply deterministic fixes iteratively.
benbrastmckieskill-web-research
Search and synthesize web development documentation and codebase patterns.
benbrastmckieskill-web-implementation
Delegate Astro/Tailwind/TypeScript web-implementation tasks to a subagent and manage postflight git commits.
benbrastmckieskill-meta
Plan and create task directories and state records for .claude/ system changes.
benbrastmckieskill-orchestrator
Route tasks to language-specific workflows based on status validation.
benbrastmckieskill-neovim-research
Delegate Neovim configuration research to a subagent and process results.
benbrastmckieskill-researcher
Delegate research tasks to AI agents for web, documentation, and codebase information.
benbrastmckieskill-typst-implementation
Delegate plan-driven Typst document generation and compilation to a subagent.
benbrastmckieskill-learn
Extract FIX:, NOTE:, and TODO: tags from codebases into structured tasks.
benbrastmckieskill-nix-research
Coordinate a subagent to research Nix/NixOS and Home Manager configuration patterns.
benbrastmckieskill-neovim-implementation
Delegate Neovim configuration changes to a subagent and commit results.
benbrastmckieskill-nix-implementation
Delegate Nix configuration changes to a dedicated subagent with postflight handling.
benbrastmckieskill-document-converter
Delegate document conversion between PDF, DOCX, and HTML formats to Markdown or PDF.
benbrastmckieskill-latex-implementation
Delegate LaTeX document implementation to a specialized subagent for compilation and postflight processing.
benbrastmckieskill-planner
Transform research findings into phased implementation plans with milestones.
benbrastmckieskill-status-sync
Synchronize task status atomically between state.json and TODO.md.
benbrastmckieskill-refresh
Terminate orphaned Claude Code processes and clean the ~/.claude/ directory.
benbrastmckieskill-implementer
Executes implementation tasks by delegating to a subagent and managing postflight metadata.
benbrastmckieskill-git-workflow
Create scoped git commits for task operations with structured messages.
benbrastmckiedocument-converter
Convert documents bidirectionally between Markdown, DOCX, and PDF formats.