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

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

这个技能用于设计最优的测试金字塔，包括单元测试、集成测试和端到端测试的比例。识别反模式并推荐特定架构的测试策略。关键词：测试金字塔、测试策略、软件测试、CI/CD、自动化测试、单元测试、集成测试、E2E测试。

这个技能用于通过Grafana进行监控和分析，包括查询Prometheus指标、管理仪表板、查看警报和从模板创建仪表板，适用于DevOps和云原生环境监控。关键词：Grafana, Prometheus, 仪表板, 监控, 警报, DevOps, 云原生。

这是一个前端开发工具，用于快速创建和打包复杂的HTML组件，使用React、Tailwind CSS和shadcn/ui等现代技术，适用于需要状态管理、路由或多组件的Web项目。关键词包括前端开发、HTML打包、React组件、Tailwind CSS、shadcn/ui、Web组件构建、前端工具、组件打包、状态管理、路由支持。

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

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

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

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

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

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

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