下载

Skill UI

浏览并发现 9979+ 精选技能

全部编程开发人工智能设计创意产品商业数据科学市场营销职场通用效率工具硬件工程语言学习

搜索读取模型，共找到 2 条记录

默认排序最新上传最多下载

事件溯源投影模式

projection-patterns

sickn33/antigravity-awesome-skills

本技能指导用户如何为事件溯源系统构建投影和可读模型。它主要用于实现CQRS（命令查询责任分离）模式的读取端，创建物化视图，优化查询性能，或从事件流中聚合数据，从而提高数据查询效率。

严格数学证明校验与修复工作流

wanshuiyin/Auto-claude-code-research-in-sleep

该技能通过跨模型对抗评审机制，系统化地验证数学证明的严谨性。它可以读取LaTeX格式的证明文件，自动识别逻辑漏洞和结构缺陷，并利用完整的推导过程进行修复，持续循环重审直到达到收敛。最后，生成详细的审计报告，确保数学论证的完整性和可靠性。

1

语言