소스 정보
- 저장소
- benbrastmckie/ModelChecker
- 최근 소스 활동
- 2026년 3월 4일 00:47
- 감지된 SKILL.md 언어
- 영어
- 스타
- 13
- 포크
- 3
설치 방법
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
소스 파일 검토
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
SKILL.md 표시 중
SKILL.md
소스 지침 · 읽기 전용 미리보기- name
- skill-formal-research
- description
- Research skill for formal methods and logic verification
- allowed_tools
- Read, Write, Edit, Bash, WebSearch, WebFetch, Grep, Glob
- context
- project/logic, project/math
# Formal Research Skill
Routes formal methods research tasks to formal-research-agent.
## Usage
Invoked by orchestrator when task language is formal and operation is research.
## Agent
- **Agent**: formal-research-agent
- **Model**: opus
## Context
- Modal logic semantics
- Proof theory fundamentals
- Category theory (when relevant)
GitHub에서 보기