職業分類
コンピュータ・情報研究科学者
説明
Research skill for formal methods and logic verification
原文の言語: 英語
更新
benbrastmckie/ModelChecker
SkillsMP は benbrastmckie/ModelChecker から 19 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
- 記録された最新のソース活動
- SkillsMP カタログ更新
- 収集済み skills
- 19
- GitHub スター
- 13
- GitHub フォーク
- 3
このリポジトリの skills
3 件の職業カテゴリ · 100% 分類済み
収集済み skill 19 件中 19 件を表示しています。
skill
職業分類
説明
更新
職業分類
ソフトウェア開発者
説明
Implementation skill for Lean 4 proofs and definitions
原文の言語: 英語
更新
職業分類
コンピュータ・情報研究科学者
説明
Research skill for Lean 4 theorem prover and Mathlib
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Implement Nix configuration changes from plans. Invoke for nix implementation tasks.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Conduct Nix/NixOS/Home Manager research using MCP-NixOS, web docs, and codebase exploration. Invoke for nix research tasks.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Research physics formalization tasks using domain context and codebase exploration. Invoke for physics-language research involving dynamical systems, chaos theory, and related formalization.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Manage git commits for task workflows with file tracking and targeted commits.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Scan files for FIX:/NOTE:/TODO: tags and create tasks.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Interactive system builder. Invoke for /meta command to create tasks for .opencode system changes.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Implement Neovim Lua configuration with validation. Invoke for neovim-language implementation.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Research Neovim plugins, Lua configuration, and vimscript. Invoke for neovim-language research.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Route commands to appropriate workflows based on task language and status.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
原文の言語: 英語
更新
職業分類
ネットワーク・コンピュータシステム管理者
説明
Manage orphaned processes and project file cleanup.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Atomically update task status across specs/TODO.md and specs/state.json.
原文の言語: 英語
更新
収集済み skill 19 件中 19 件を表示しています。