개발 스킬

Debug proof failures using counterexamples from Nitpick (Isabelle) or QuickChick (Coq) to identify specification errors, missing preconditions, and proof strategy issues. Use when: (1) A proof attempt fails and you need to understand why, (2) Counterexamples are generated by Nitpick or QuickChick, (3) Specifications may be incorrect or incomplete, (4) Theorems need validation before proving, (5) Missing preconditions or lemmas need identification, or (6) Proof failures need explanation and correction suggestions. Supports both Isabelle/HOL and Coq equally.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Identifies boundaries between modules or components in software systems through static code analysis and dependency detection. Use when Claude needs to analyze software architecture, identify module boundaries, detect boundary violations, find circular dependencies, or assess component coupling. Supports Python (packages and imports) and Java (packages and dependencies). Trigger when users ask to "identify boundaries", "find component boundaries", "detect boundary violations", "analyze module structure", "check architecture", or "find circular dependencies".

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

AutoMCM-Pro industrial-grade math modeling agent (opencode binding). Supports AP (AI-led) and Manual (human-spec-led) dual modes with mandatory GitOps checkpoints, forced self-verification of all solver code before LaTeX inclusion, and structured human cross-validation at each pipeline stage. Use for both CUMCM (Chinese) and MCM/ICM (English) competitions.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

AutoMCM-Pro industrial-grade math modeling agent. Supports AP (AI-led) and Manual (human-spec-led) dual modes with mandatory GitOps checkpoints, forced self-verification of all solver code before LaTeX inclusion, and structured human cross-validation at each pipeline stage. Use for both CUMCM (Chinese) and MCM/ICM (English) competitions.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

AutoMCM-Pro industrial-grade math modeling agent (DeepSeek Harness binding). Supports AP (AI-led) and Manual (human-spec-led) dual modes with mandatory GitOps checkpoints, forced self-verification of all solver code before LaTeX inclusion, and structured human cross-validation at each pipeline stage. Use for both CUMCM (Chinese) and MCM/ICM (English) competitions.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

AutoMCM-Pro industrial-grade math modeling agent (Codex CLI binding). Supports AP (AI-led) and Manual (human-spec-led) dual modes with mandatory GitOps checkpoints, forced self-verification of all solver code before LaTeX inclusion, and structured human cross-validation at each pipeline stage. Use for both CUMCM (Chinese) and MCM/ICM (English) competitions.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Run DataForSEO API tasks via the CLI in a shell (docs index, docs search, request). Use when the agent should execute terminal commands with npx dataforseo-mcp-server.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Sequential 3-lens cleanup of recent code changes.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Review PRs: diffs, inline comments via gh or REST.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Inspect codebases: LOC, languages, ratios via pygount.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

4-phase root cause debugging: understand bugs before fixing.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Clone, create, fork repos; manage remotes, releases.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Pre-commit review: security scan, quality gates, auto-fix.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Debug Node.js via --inspect + Chrome DevTools Protocol.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Create, triage, label, assign GitHub issues via gh or REST.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

GitHub auth setup: HTTPS tokens, SSH keys, gh CLI.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Debug Python: pdb REPL + debugpy remote (DAP).

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Review GRACE 4 integrity across .grace artifacts, active changes, scopes, assertions, code anchors, and verification evidence.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Debug and fix issues in a GRACE 4 project using .grace semantic navigation, assertions, and verification evidence.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Refactor GRACE 4 governed code while keeping .grace graph, verification, change scopes, and file-local anchors synchronized.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Operate the GRACE 4 CLI for .grace linting, status, module navigation, verification navigation, and file-local semantic markup.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Add, inspect, repair, or validate CodeDrobe Core adapters for Chromium/Electron AI desktop applications. Use when supporting a new app, updating Codex or WorkBuddy compatibility after an app release, discovering installation paths or CDP targets, selecting stable DOM landmarks, adding renderer profiles or transactional host settings, recording lastVerified versions, or writing adapter and real-renderer tests.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Create, inspect, convert, apply, replace, verify, troubleshoot, update, publish, or restore reversible CodeDrobe themes for supported Chromium/Electron AI desktop apps, including OpenAI Codex, Tencent WorkBuddy, QoderWork (CN/global), and TRAE SOLO (global/CN). Use when a user asks to turn an attached or local reference image into a Codex, WorkBuddy, QoderWork, or TRAE SOLO skin, reproduce a visual style with native UI, build a multi-app theme, work with .codedrobe-theme packages or theme images, analyze a live CDP DOM snapshot, repair DOM compatibility failures, use a custom port or installation path, capture verification screenshots, search the CodeDrobe store or install a store theme by name, publish or submit a theme to the CodeDrobe store, or migrate a legacy .codex-theme file.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Review code changes implemented in the current session before committing

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.