开发技能

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

中文简介正在准备中。当前显示原文说明。