此技能用于诊断和解决Bknd框架的常见问题，包括使用CLI工具调试、分析HTTP错误代码、检查日志和系统故障排除。关键词：Bknd、调试、CLI命令、HTTP错误、故障排除、日志分析、后端开发。

这个技能名为'代码审查工作流'，用于自动化执行详尽的代码审查，通过多代理分析覆盖安全、性能、架构等多个维度，使用超思考进行深度分析，并利用Git工作树进行本地检查，提升代码质量并确保合规性。关键词：代码审查、多代理分析、Git工作树、安全扫描、性能优化、架构评估、自动化审查、DevOps。

该技能用于在Elixir项目中创建自定义的Credo检查，以检测和强制执行项目特定的代码质量规则，如防止硬编码密钥，提升代码安全性和可维护性。关键词：Elixir, Credo, 自定义检查, 代码质量, 硬编码密钥, 代码分析, 安全检查, 编程工具。

这个技能用于设计和构建现代Web应用程序，包括单页应用（SPA）、服务器端渲染（SSR）、静态站点生成（SSG）和React服务器组件（RSC）等。它涵盖架构权衡、状态管理、性能优化、测试策略、交付流程和团队扩展，提供生产就绪的实践指导，如核心Web指标、可访问性、安全性和微前端架构。关键词：Web应用架构、SPA、SSR、SSG、RSC、前端开发、性能优化、状态管理、测试、团队扩展。

这是一个用于软件开发的预提交检查清单技能，帮助开发者在提交代码前确保代码质量、文档同步、API和数据库更改等各方面完善。关键词包括软件开发、预提交检查、代码质量、测试验证、文档更新、DevOps流程。

模型检查器接口是一个专注于形式化验证的专业技能，用于指导用户使用SPIN、NuSMV、UPPAAL等主流模型检查工具，对软件、硬件系统或协议进行自动化验证。核心功能包括：系统规范生成、时序属性验证、反例追踪分析和抽象精化。关键词：形式化验证，模型检查，SPIN，NuSMV，UPPAAL，系统验证，协议验证，反例分析，计算机科学。

这项技能帮助开发者在Angular应用中使用RxJS实现响应式编程模式，包括Observables、操作符、订阅管理、错误处理等关键概念，并提供了与Angular信号集成的方法。

项目会话管理器（PSM）是一个自动化技能，用于创建和管理隔离的开发环境，通过git工作树和tmux会话实现，支持并行处理多个开发任务、项目和代码仓库，提高开发效率。关键词：git工作树, tmux, 开发环境, 隔离, 自动化, 并行开发, DevOps工具, 代码管理, 会话管理

YouTube视频下载器是一个用于下载YouTube视频的工具，支持多种质量选项（如1080p、720p、480p、360p）、格式选择（MP4、WebM、MKV）和音频提取为MP3。关键词：YouTube下载、视频下载工具、音频提取、质量设置、格式转换、yt-dlp、自动化脚本。

这个技能用于通过 Slack API 实现消息发送、通道管理、用户交互、文件上传和反应添加等功能，适用于团队通信、事件通知和工作流警报。关键词：Slack、通知、消息、通道、团队通信、API、DevOps。

这是一个问题解决技能调度工具，帮助用户在遇到卡壳时，根据症状选择合适的问题解决技术。适用于软件开发、编程和其他需要高效问题解决的场景。关键词：问题解决、调度、卡壳、技术选择、效率提升、软件开发。

会话状态技能是一个内部工具，用于管理基于SESSION_ORCHESTRATION.md定义的会话状态迁移，确保状态转换的验证和执行。关键词：会话状态管理、状态迁移、内部技能、开发工具、软件开发。