직업 분류
컴퓨터·정보 연구 과학자
설명
Research skill for formal methods and logic verification
원문 언어: 영어
업데이트
benbrastmckie/ModelChecker
SkillsMP는 benbrastmckie/ModelChecker에서 19개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
- 최근 기록된 소스 활동
- SkillsMP 카탈로그 업데이트
- 수집된 skills
- 19
- GitHub 스타
- 13
- GitHub 포크
- 3
AI 어시스턴트로 설치
이 프롬프트를 복사해 사용 중인 AI 어시스턴트에 입력하세요.
이 저장소의 Agent Skills 설치를 도와주세요: https://github.com/benbrastmckie/ModelChecker
먼저 출처, SKILL.md 및 관련 파일을 확인하고 설치 가능한 Skill 목록을 보여주세요. 제가 선택하면 해당 Skill의 전체 디렉터리를 현재 프로젝트에 설치하고 필요한 파일이 모두 있는지 확인해 주세요.이 저장소의 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개를 표시합니다.