合同定义了并行任务之间的接口。它们通过明确依赖关系，使得安全并发实现成为可能。

该技能用于在软件开发过程中，系统地记录、查询和复用过往的架构与技术决策。它帮助团队维护决策一致性，避免重复讨论，并为新决策提供历史依据。关键词：架构决策、技术选型、决策记录、知识管理、软件开发流程、决策追溯。

符号执行引擎是一种用于程序分析的技能，主要用于自动化测试生成、bug检测和路径探索。它通过创建符号值、系统化探索路径条件、生成约束并利用SMT求解器来构建测试用例。关键词包括符号执行、测试生成、路径覆盖、bug检测、程序验证、SMT求解、路径探索、约束求解。

Gleam Erlang 互操作技能用于在Gleam编程语言中实现与Erlang生态系统的无缝集成，允许开发者调用Erlang代码、使用Erlang库和外部函数，同时保持类型安全。它包括外部函数声明、Erlang标准库使用、动态类型处理、NIFs和端口、OTP集成等关键功能，适用于后端开发和高可靠性应用构建。关键词：Gleam, Erlang, 互操作, 外部函数, 类型安全, BEAM生态系统, NIF, 端口, OTP, 后端开发。

这个技能专注于创建Markdownlint的自定义规则，包括定义规则对象结构、集成markdown-it和micromark解析器、报告错误并提供自动修复功能。它用于增强Markdown文档的linting能力，支持项目特定的文档标准、验证内容模式、确保一致性，并可用于自动化文档质量检查和团队编码标准实施。关键词：Markdownlint, 自定义规则, 规则开发, 解析器集成, 错误报告, 自动修复, 文档质量, 软件开发, 自动化测试。

这个技能提供了在Godot游戏引擎中使用组合模式构建可扩展应用程序、工具、UI或游戏的专家级架构标准。它强调单一职责原则和‘Has-A’关系优于‘Is-A’继承，适用于设计节点结构、重构单体脚本和实现复杂行为，便于SEO搜索关键词：Godot、组合模式、架构设计、游戏开发、UI设计。

Convex实时应用开发技能用于构建反应式应用程序，专注于实时数据订阅、乐观更新、智能缓存和基于游标的分页查询。关键技术包括Convex平台集成、React前端开发、实时数据同步、性能优化，适合前端开发者提升用户体验和效率。关键词：Convex、实时、订阅、乐观更新、缓存、分页、React、前端开发、反应式应用。

此技能提供全面的测试策略指导，帮助开发人员选择和实施单元测试、集成测试、端到端测试和契约测试。涵盖测试金字塔平衡、多语言支持（如TypeScript、Python、Go、Rust）、测试数据管理、CI/CD集成和现代实践（如属性测试），以提高软件质量和开发效率，关键词包括测试策略、单元测试、集成测试、端到端测试、契约测试、测试金字塔、CI/CD、Python、TypeScript、Go、Rust、测试数据管理。

这个技能用于强制执行严格的测试驱动开发（TDD）实践，确保在编写代码之前先编写测试，遵循红-绿-重构循环，并避免无效的理性化。它适用于新功能、错误修复和重构，提供验证清单和最佳实践，以提高代码质量和开发效率。关键词：测试驱动开发，TDD，单元测试，红绿重构，代码测试，软件开发，自动化测试，质量保障。

这个技能用于通过Rube MCP自动化Recruitee招聘任务，实现工具发现、连接管理和工作流执行，提升招聘效率。关键词：Recruitee自动化，Rube MCP，工具集成，招聘流程自动化，DevOps工具。

这个技能专注于管理拉取请求工作流，包括将 GitHub 问题转换为 PR、处理代码提交和运行预提交检查以确保代码质量和开发流程一致性。关键词：PR 工作流、提交管理、预提交检查、代码审查、DevOps、Git 流程。

团队拓扑设计是一种组织设计方法论，用于优化团队结构以支持快速变更流，同时管理认知负荷。它涵盖四种基本团队类型、三种交互模式、认知负荷评估、逆向康威操作和团队演化模式，适用于设计对齐软件架构的团队结构。关键词包括团队拓扑、流对齐团队、平台团队、使能团队、复杂子系统、交互模式、认知负荷、逆向康威、康威定律。