职业分类
计算机与信息研究科学家
描述
Research skill for formal methods and logic verification
原文语言：英语
更新
benbrastmckie/ModelChecker
SkillsMP 已收集 benbrastmckie/ModelChecker 中的 19 个 Skill。打开任一 Skill 可查看来源和详情。
- 最近记录的来源活动
- SkillsMP 收录数据更新
- 已收集 skills
- 19
- GitHub 星标
- 13
- GitHub Forks
- 3
这个仓库中的 skills
3 个职业分类 · 已分类 100%
已展示 19 / 19 个已收集 Skill。
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.
原文语言：英语
更新
已展示 19 / 19 个已收集 Skill。