发现 databases ide plugins 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
Use when creating or modifying GitHub Actions workflow files. Provides guidance on workflow syntax, triggers, jobs, steps, and expressions for creating valid GitHub Actions workflows that can be tested locally...
Use when modern PHP features including typed properties, union types, match expressions, named arguments, attributes, enums, and patterns for writing type-safe, expressive PHP code with latest language improvem...
Use when annotating code with structured metadata, tags, and markers for AI-assisted development workflows. Covers annotation formats, semantic tags, and integration with development tools.
Use when prettier integration with editors, pre-commit hooks, ESLint, and CI/CD pipelines.
Use when gleam-Erlang interoperability including calling Erlang code from Gleam, using Erlang libraries, external functions, working with Erlang types, NIFs, and leveraging the BEAM ecosystem from Gleam applica...
Use when custom ESLint rules and plugins including rule development, AST traversal, and publishing.
Use when gleam's type system including algebraic data types, custom types, pattern matching, generic types, type inference, opaque types, exhaustive checking, and functional error handling for building type-saf...
Use when Python's type system including type hints, mypy, Protocol, TypedDict, and Generics. Use when working with Python type annotations.
Use when working with TypeScript's type system including strict mode, advanced types, generics, type guards, and compiler configuration.
Use when leaving structured notes, comments, and annotations in code. Covers AI note-taking patterns, TODO formats, context preservation, and development breadcrumbs for future AI assistants and human developer...
Use when creating bidirectional links between code and documentation. Covers link patterns, documentation references, context preservation across artifacts, and maintaining synchronization between code and docs...
Use when pylint CI integration including plugins, editor integration, and performance tuning.
Create custom linting rules for markdownlint including rule structure, parser integration, error reporting, and automatic fixing.
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
Automatically discover terminal UI skills when working with terminal user interfaces. Activates for tui development tasks.
Automatically discover programming language theory skills when working with compilers. Activates for plt development tasks.
Automatically discover build system skills when working with build systems. Activates for build-systems development tasks.
Automatically discover intermediate representation and compiler skills when working with intermediate representation. Activates for ir development tasks.
Automatically discover debugging and profiling skills when working with debugging. Activates for debugging development tasks.
Manually trigger context save when auto-compact fails in VSCode/Cursor extensions. Use when context is high and you need to preserve state before starting fresh.
OpenAI Codex CLI orchestration for AI-assisted development using gpt-5.2-codex model. Capabilities: code generation, refactoring, automated editing, parallel task execution, session management, code review, arc...
Generate semantic codebase symbol map for precise code navigation. Use when starting work on unfamiliar codebase, before refactoring, or when you need to understand where classes/functions/interfaces are define...
Improve developer experience, tooling, and workflows. Use when setting up projects or reducing development friction.
Write idiomatic Python with advanced features. Use for Python development, refactoring, or optimization.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。