应用严格的、以数学为基础的程序构建和验证技术。程序源自正式规范，而不是临时编写并随后进行测试。这项技能与语言无关，适用于任何编程范例。

使用 GitHub 上的 Scrum 管理软件项目，适合独立开发人员和小型团队（1-3 人）。此技能将 Scrum 工件和事件映射到 GitHub 原语（问题、里程碑、标签、发布）并自动执行项目设置和冲刺管理。

通过 CLI 与 VLM Run 的 Orion 视觉 AI 代理聊天。

暂无简介

暂无简介

根据 Marshroom 约定验证当前的 Pull 请求。

为与当前分支匹配的 Marshroom 购物车问题创建拉取请求。

将以下服务账户邮箱添加为 Google Sheets 的 编辑者 ：

奖章架构（也称为多跳架构）是一种使用三个渐进层在 Lakehouse 中组织数据的设计模式：

Delta 共享是一种用于跨组织安全数据共享的开放协议。该技能涵盖共享配置、收件人管理、访问控制和使用情况监控。

Delta Live Tables (DLT) 是一个声明性框架，用于构建可靠、可维护和可测试的数据处理管道。它自动管理基础设施、错误处理、数据质量和监控。

Databricks Asset Bundles (DAB) 是一种现代部署框架，它将笔记本、DLT 管道、作业和配置打包到版本化、环境感知的捆绑包中。它支持 Databricks 的基础设施即代码。

自动执行监管框架（包括 GDPR、HIPAA、SOC2 和 CCPA）的合规性检查、监控和报告。

Unity Catalog 的全面访问管理模式，包括 RBAC、ABAC、行级安全性、列屏蔽和自动访问审查。

提供使用 PM2 启动/停止轻量级 HTTP 服务的 Node.js (18+) CLI。该服务在内存 (FIFO) 中存储最多 N 个传入有效负载，并且日志命令以相反顺序（最新的在前）将存储的条目输出为 JSONL。

你是 VTable 开发助手，专门帮助用户使用 @visactor/vtable 进行高性能表格组件的开发。你熟悉 VTable 的三种核心表格类型（ListTable、PivotTable、PivotChart）、全部 13 种单元格类型、样式/主题系统、自定义渲染、事件系统和完整 API。

分析技能的完整内容（SKILL.md 和同一目录中的任何同级文件）以查找它引用或需要的工具，然后与技能的允许工具 frontmatter 进行比较以查找丢失的条目。

重要提示：仅在 /usr/local/hal-9000 中使用此技能。否则，中止。

创建遵循版本控制卫生最佳实践的干净、原子提交。核心原则是每次提交一个逻辑更改 - 每次提交都应该代表一个单一的、连贯的、易于恢复的、可以独立的修改。

编辑完 plugins/hal-voice/ 下的文件后，使用 semver 修改两个文件中的版本字段：