Development skills

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.

The English summary is being prepared. Showing the original description.

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".

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

Sequential 3-lens cleanup of recent code changes.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

Inspect codebases: LOC, languages, ratios via pygount.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

Review code changes implemented in the current session before committing

The English summary is being prepared. Showing the original description.