发现 Skills

Use Apiosk pay-per-call APIs through an x402 payment flow (HTTP 402 + USDC on Base) without API keys. Trigger this skill when Codex needs to call Apiosk endpoints, handle or explain Payment Required responses, estimate micropayment cost per request, choose an endpoint from the Apiosk catalog, or integrate Apiosk gateway calls in scripts/apps.

Docker image optimization patterns including multi-stage builds, layer caching, security hardening, and size reduction techniques. Use when building Docker images, optimizing container size, improving build performance, or implementing Docker security best practices. Reduces image sizes by 70-90% and build times by 50-80%.

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.

Monitor Claude AI token usage in real-time with ML predictions, cost analytics, and session limit warnings

End-to-end data engineering and analytics application that uses the Harvard Art Museums API with ETL pipelines, SQL analytics, and Streamlit visualizations

BepInEx-based multiplayer mod for Subnautica 2 enabling synchronized cooperative gameplay with shared inventory, base building, and AI integration

Analyze and understand Avast Premium Security antivirus features, behavior shields, and security components for reverse engineering and security research

```markdown

```markdown

Comprehensive guide for contributing to and working with freeCodeCamp's open-source codebase and curriculum platform

```markdown

One-click model liberation toolkit for removing refusal behaviors from LLMs via surgical ablation techniques

Self-hosted ML coding practice platform with 68 problems covering Transformers, diffusion, RLHF, and more — instant browser feedback, no GPU required.

Use when modernizing legacy systems, implementing incremental migration strategies, or reducing technical debt. Invoke for strangler fig pattern, monolith decomposition, framework upgrades.

Fix Flutter layout/constraint issues when embedding WebF (scrollables, unbounded constraints, viewport sizing). Use when the user mentions ListView/ScrollView, “unbounded height”, infinite constraints, RenderBox errors, or embedding WebF in part of the screen.

Local speech-to-text with the Whisper CLI (no API key).

Professional video and audio editing via natural language — cut, caption, silence removal, scene detection, stabilization, color grading, background removal, smart reframing, audio processing, and cloud API integrations. Free local tools with optional paid cloud tiers.

Health probes for both sides of the AGI stack — openclaw_gateway + arifOS MCP

Load a 1C configuration from a CF file. Use when a user asks to load a configuration from a CF or to restore from a CF backup.

Scans Docker images for security vulnerabilities, outdated packages, and misconfigurations. Use when checking image security, finding vulnerabilities, or hardening containers.

Configures SSL/TLS certificates, implements secure protocols and ciphers, and sets up security headers. Use when setting up HTTPS, SSL certificates, TLS configuration, or web security hardening.

Write idiomatic Python code with advanced features like decorators, generators, context managers, and async/await. Use when writing Python code, refactoring Python, optimizing Python performance, implementing design patterns in Python, or setting up pytest testing.

Turn a vague bug report into precise, repeatable steps with evidence and a CONFIRMED / CANNOT-REPRODUCE / PARTIAL verdict. Use when a bug is unclear or unconfirmed and needs reproduction before root-cause analysis (RCA) or any fix. Reproduction and documentation only — does not fix code.

Foundational software design principles applied specifically to robotics module development. Use this skill when designing robot software modules, structuring codebases, making architecture decisions, reviewing robotics code, or building reusable robotics libraries. Trigger whenever the user mentions SOLID principles for robots, modular robotics software, clean architecture for robots, dependency injection in robotics, interface design for hardware, real-time design constraints, error handling strategies for robots, configuration management, separation of concerns in perception-planning- control, composability of robot behaviors, or any discussion of software craftsmanship in a robotics context. Also trigger for code reviews of robotics code, refactoring robot software, or designing APIs for robotics libraries.