这个技能提供了Effect-TS中可观测性的13个精选模式，包括日志记录、指标监控、追踪等，帮助开发者在TypeScript应用程序中实现高效的可观测性、调试和监控。关键词：Effect-TS、可观测性、日志、指标、追踪、TypeScript、后端开发、调试、监控、模式。

部分求值是一种程序优化技术，用于通过静态计算对程序进行专业化处理。它主要应用于编译器构建、解释器专业化和代码生成，通过绑定时间分析区分静态与动态值，并利用离线或在线方法生成高效的残差程序。关键词：部分求值、程序专业化、编译器、优化、绑定时间分析、代码生成。

这个技能用于实现简单类型化λ演算（STLC），包括函数类型、积类型、和类型和单位类型。它适用于学习类型系统、构建编程语言解释器、进行形式化验证和语言原型设计。关键词：类型系统、λ演算、解释器、形式化验证、编程语言理论、健全性证明。

这个技能是一个薄包装器，用于实现基于Astro、Tailwind和TypeScript的网络变化。它通过委托给子代理来处理前端网页开发任务，包括页面、组件、布局的创建和修改，并自动执行状态更新、工件链接和Git提交等后处理操作。适用于Astro框架、Tailwind CSS、TypeScript项目，帮助提高开发效率和代码质量。关键词：网络实现、Astro、Tailwind、TypeScript、前端开发、网页开发、状态管理、Git提交、代理委托、自动化流程。

这个技能提供全面的Git安装和初始配置指南，覆盖Windows、macOS、Linux和WSL平台。帮助用户快速安装Git、配置用户身份、设置默认分支、选择编辑器并进行验证。关键词：Git安装、Git配置、版本控制、开发工具、跨平台、DevOps。

这个技能用于执行高质量的Python代码审查，专注于Pythonic模式、类型安全性和可维护性。它适用于审查现有代码修改和新代码，确保代码易于测试和理解。关键词：Python代码审查、代码质量、类型提示、测试性、Pythonic代码、代码优化、软件开发、代码审查工具。

Go接口技能用于掌握Go编程语言中的接口系统，通过隐式实现和组合模式创建灵活、解耦的代码，适用于设计API、抽象、实现多态性、依赖注入等场景。关键词：Go编程、接口设计、鸭子类型、组合模式、API设计、抽象、软件开发、后端开发、代码解耦、可测试性。

此技能用于将文档从bd（beads）工具迁移到br（beads_rust）工具，通过机械转换命令、添加git手动提交步骤并严格验证，确保迁移过程完整无误。适用于更新AGENTS.md等文档，关键词：bd迁移，br迁移，git集成，文档转换，验证脚本，自动化迁移。

该技能用于在软件开发和AI辅助项目中，通过深度代码库分析来精炼和改进实施计划。它帮助识别缺失任务、修复错误依赖、提高任务质量，适用于自动化开发、项目管理和代码审查。关键词：代码库分析、计划改进、任务管理、AI辅助、质量保证、软件开发、自动化工具。

站点可靠性工程师技能专注于生产环境的监控、可观测性、SLO/SLI管理以及事件响应，确保系统高可用性和可靠性。它涉及监控平台配置、告警规则设置、可观测性仪表板设计、运行手册开发和事后分析。关键词：监控、可观测性、SRE、站点可靠性、告警、事件响应、SLO、SLI、错误预算、Prometheus、Grafana、Datadog、New Relic、ELK栈、日志、指标、追踪。

熊猫CSS是一个前端CSS框架，用于通过CSS-in-JS技术管理Web样式，提高开发效率和性能。关键词：前端开发，CSS框架，CSS-in-JS，原子CSS，Web性能。

这个技能用于在前端开发中优化条件渲染，特别是在 React 和 TypeScript 环境中。通过使用显式三元运算符替代逻辑与运算符，避免当值为 0、NaN 或其他假值时意外渲染，提升代码可靠性和用户体验。关键词包括：条件渲染、三元运算符、React、TypeScript、前端开发、假值处理、优化技巧。