微信扫一扫把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。
.github/prompts/*.prompt.md をレビューして改善提案を出す。frontmatterの妥当性、入力変数(${input:...})の設計、出力フォーマット固定、instructions/skillsへの参照（重複排除）、tools最小化、例の有無、命名規則、壊れやすい指示の検出を行い、レポートをdocs/prompt-review-report.mdに出力する。
Sussman/Radul传播器网络用于约束传播和双向性
为多种语言和智能合约中的基于属性的测试提供指导。在编写测试、审查包含序列化/验证/解析模式的代码、设计功能时使用，或者当基于属性的测试能够比基于示例的测试提供更强的覆盖率时使用。
提出对主管Claude的代码修改建议。生成差异文件和理由，但不要执行。等待主管批准。
创建一个实现计划，其中包含构建完整功能的原子提交
从起草工作流改进提案到将其转化为Issue（附带ROI分析和行动计划）
使用proptest进行Rust的基于属性的测试。当编写验证任意输入下属性是否成立的测试、实现用于生成测试数据的自定义策略、自动测试边界情况，或者用户提到“proptest”、“基于属性的测试”、“Rust中的模糊测试”、“缩小范围”，或需要生成任意测试数据时使用。触发条件包括请求使用随机输入测试函数、查找边界情况、为自定义类型实现Arbitrary接口，或创建数据生成器。
从Protocol Buffer定义生成C++和Python代码。当用户要求生成proto文件、编译protos、重新生成gRPC代码，或提到protobuf/gRPC生成时使用。
生成用于验证的加密证明包
Proof General + Narya：具有观察桥接类型的高维类型理论证明助手，用于版本控制。
从模板和内容库中组装提案。在实现提案生成、管理内容块或使用提案模板时使用。
创建或更新包含架构和实现指南的功能技术设计文档
用带有时间戳的标题和有条理的项目符号结构来格式化交易提案。当一个角色需要提供一份包含Schwab时间戳、加粗的主要项目符号以及每行只有一个指标的嵌套项目符号的单一整合提案时使用。
基于ProseMirror的笔记编辑器使用指南。在编辑笔记功能代码、修复编辑器错误、处理待办事项/复选框、维基链接、装饰或序列化时使用。
审计受保护的文件，生成保护报告，并验证保护的一致性。用于保护系统的维护和合规性。
无标记定量蛋白质组学分析工具包。调用R脚本进行归一化、可视化（火山图、热图、PCA、LOPIT）、通路分析（KEGG、ConsensusPathDB）和蛋白质列表交叉引用（MISEV2018、SASP、细胞外基质）。当用户说'分析蛋白质组学'、'火山图'、'归一化蛋白质数据'、'通路富集'、'检查EV标志物'、'SASP分析'、'细胞外基质'，或提到q值、倍数变化或蛋白质定量时使用。
验证整个工程证明链。确认架构、后端映射、后端代码、标准化、前端类型、基础设施拓扑都正确组成。这是最终的部署关卡——如果证明链无效，则阻止部署。在工程线程完成所有动作时使用。
稳态执行器，使用REQ-*键标记代码、测试和提交以实现可追溯性。向代码中添加“# Implements:”标签，并向测试中添加“# Validates:”标签。当代码或测试缺少需求标签时使用。
创建一个新的功能概念文档来推销这个想法并解释问题/解决方案
创建一个测试计划，将EARS需求和关键约束映射到特定的测试
为Swift代码提供专家级的代码审查和重构建议，重点关注清晰度、可维护性、性能以及现代最佳实践。在代码审查、提高代码质量或识别技术债务时使用。
通过预提交钩子验证保护措施的执行。在构建或测试代码保护系统时使用（PROTECT-002）。
协议缓冲区和服务契约的接口定义语言
快速搭建可运行的原型项目。当用户想要创建一个新的项目框架、设置技术栈或启动应用程序时使用。触发条件包括诸如“创建一个项目”、“设置一个原型”、“搭建一个应用”、“构建一个[type]应用程序”或指定技术堆栈组合等请求。