benbrastmckie/ModelChecker

skill-formal-research

Research skill for formal methods and logic verification

Langue du texte source : anglais

skill-lean-implementation

Implementation skill for Lean 4 proofs and definitions

Langue du texte source : anglais

skill-lean-research

Research skill for Lean 4 theorem prover and Mathlib

Langue du texte source : anglais

skill-logic-research

Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.

Langue du texte source : anglais

skill-math-research

Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.

Langue du texte source : anglais

skill-nix-implementation

Implement Nix configuration changes from plans. Invoke for nix implementation tasks.

Langue du texte source : anglais

skill-nix-research

Conduct Nix/NixOS/Home Manager research using MCP-NixOS, web docs, and codebase exploration. Invoke for nix research tasks.

Langue du texte source : anglais

skill-physics-research

Research physics formalization tasks using domain context and codebase exploration. Invoke for physics-language research involving dynamical systems, chaos theory, and related formalization.

Langue du texte source : anglais

skill-git-workflow

Manage git commits for task workflows with file tracking and targeted commits.

Langue du texte source : anglais

skill-implementer

Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.

Langue du texte source : anglais

skill-learn

Scan files for FIX:/NOTE:/TODO: tags and create tasks.

Langue du texte source : anglais

skill-meta

Interactive system builder. Invoke for /meta command to create tasks for .opencode system changes.

Langue du texte source : anglais

skill-neovim-implementation

Implement Neovim Lua configuration with validation. Invoke for neovim-language implementation.

Langue du texte source : anglais

skill-neovim-research

Research Neovim plugins, Lua configuration, and vimscript. Invoke for neovim-language research.

Langue du texte source : anglais

skill-orchestrator

Route commands to appropriate workflows based on task language and status.

Langue du texte source : anglais

skill-planner

Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.

Langue du texte source : anglais

skill-refresh

Manage orphaned processes and project file cleanup.

Langue du texte source : anglais

skill-researcher

Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.

Langue du texte source : anglais

skill-status-sync

Atomically update task status across specs/TODO.md and specs/state.json.

Langue du texte source : anglais