这个技能是一个本地代码探索工具，使用Octocode Local和LSP工具来高效查找代码中的内容、追踪定义、分析调用关系等，适用于软件开发中的代码理解、调试和架构分析。关键词：代码搜索、本地探索、LSP分析、代码结构理解、Octocode工具、代码调试。

后端架构师技能专精于设计可扩展、弹性、可维护的后端系统和API，涵盖微服务架构、分布式系统、事件驱动模式、REST/GraphQL/gRPC接口等关键领域，适用于构建高性能、可观测、安全的现代化软件架构，助力企业实现系统级优化和数字化转型。关键词：后端架构、微服务、API设计、分布式系统、事件驱动、性能优化、可观测性、安全模式、弹性容错。

延迟预算技能用于计算和分配系统延迟预算，通过分解端到端延迟、分配组件预算、识别瓶颈、提供优化建议和制定监控策略，帮助团队优化系统性能并达到延迟目标。关键词包括延迟预算、系统性能、瓶颈分析、优化策略、监控。

该技能专注于实现消息传递并发模型，如演员模型和CSP通道，用于构建分布式系统、避免共享状态并发错误，并支持微服务通信、事件驱动架构和管道处理。关键词：消息传递、并发模型、演员模型、CSP通道、分布式系统、微服务通信、背压处理、消息排序。

这个技能用于创建系统组件、行为和算法的形式化规范，支持TLA+、SysML、状态机和UML格式，特别适用于安全关键系统的设计和验证。关键词：形式化规范，系统设计，安全关键系统，TLA+，SysML，状态机，UML。

技术债务审计技能是一种用于识别、评估和优先处理软件项目中技术债务的系统方法。它包括并行审计代码质量、性能、安全、测试和文档等领域，生成基于投资回报率（ROI）和年龄分析的待办清单，帮助团队制定可行动的管理路线图。关键词：技术债务、审计、ROI、优先排序、代码质量、安全漏洞、测试覆盖、债务管理、软件优化。

此技能用于以实践方式解释企业架构概念，帮助开发者和架构师学习和应用TOGAF、Zachman、ADR等框架和工具，适用于软件开发中的架构设计、决策记录和系统规划。关键词：企业架构、TOGAF、Zachman、ADR、学习、实践、架构设计。

这个技能提供了基于 Robius 框架和 Makepad 构建应用程序的架构模式最佳实践，专注于异步集成、Tokio 运行时、UI 和后台任务通信，适用于开发高效异步处理的生产级跨平台应用。关键词包括：Robius、Makepad、异步架构、Tokio、应用程序设计、跨平台开发、UI 线程、后台任务、SignalToUI、Cx::post_action。

GraalVM Truffle 实现技能用于使用 GraalVM Truffle 框架高效构建语言运行时，包括解释器、JIT编译优化和多语言应用开发。关键词：GraalVM、Truffle、语言运行时、解释器、JIT编译、多语言互操作、性能优化、AST解释器、节点特化、自优化系统。

该技能用于指导用户为编程语言定义和测试操作语义规范。它支持生成小步和大步语义规则、定义求值上下文、处理变量替换与绑定，并能执行语义测试和等价性验证。关键词包括：操作语义、编程语言理论、语义规则、求值上下文、PLT Redex、K Framework、语义验证。

该技能用于制定模块的分阶段重构计划，确保代码重构过程安全可控，适用于中级开发者。关键词：重构、路线图、模块、安全重构、分阶段计划、测试覆盖、风险分析、依赖管理。

平台迁移计划技能用于创建和执行平台或运行时的迁移计划，帮助高级开发人员设计分阶段迁移策略，评估兼容性、依赖项和停机容忍度，规划验证和回滚路径，确保平滑过渡和风险管理。关键词：平台迁移，运行时迁移，分阶段迁移，迁移计划，兼容性评估，回滚策略，高级开发。