code-review
Perform a thorough code review of pull requests following established guidelines, focusing on code quality, best practices, and maintainability while providing constructive feedback. Use when reviewing PRs or code changes.
tla-trace-workflow
TLA+ Trace Validation workflow. Use when: (1) validating if a trace matches a TLA+ spec, (2) debugging trace validation failures (TLC reports 'Temporal properties were violated' or validation stops unexpectedly), (3) fixing spec/trace inconsistencies after root cause is identified.
android-wifi-deploy
WiFi ADB deployment playbook for PolyPilot on macOS. Use when: (1) Deploying to a physical Android device over WiFi, (2) Troubleshooting ADB connection issues, (3) Building APKs for wireless install, (4) Managing the TCP proxy workaround for macOS firewall, (5) Recovering from broken ADB connections. Covers: proxy setup, port discovery, Fast Deployment gotchas, pairing, and the complete deploy checklist.
version-upgrade
升级项目版本号。当用户要求升级版本、更新版本号、发布新版本时使用此 skill。支持 major（主版本）、minor（次版本）、patch（补丁版本）三种升级方式。
setup-foundry
Provision a Microsoft Foundry resource, create a project, deploy a model (gpt-4.1-mini), and install the required Python SDK packages. This is a one-time setup skill. Use when the user says: "setup foundry", "provision foundry", "create foundry resource", "setup azure ai foundry", "install foundry sdk"
ce-modality-extension
Extend CE to non-tabular data modalities (vision, audio, timeseries, text) via ADR-033 plugin contracts, modality naming rules, and extension safety guardrails.
pump-solana-wallet
Secure Solana wallet generation using official Solana Labs libraries — Ed25519 keypairs, memory zeroization, vanity address generation, offline-only operation, and multi-language implementations (Rust, TypeScript, Bash).
ce-adr-consult
Map a proposed change to governing ADRs and constraints before implementation; use for ADR applicability and conflict checks.
remotion-best-practices
Best practices for Remotion - Video creation in React
ce-calibrated-predict
Produce calibrated predict and predict_proba outputs, with optional uncertainty intervals, without generating explanations.