软件开发 Skill技能列表
LLM编程规范指南Skill karpathy-guidelines
这个技能是关于使用Karpathy指南来减少LLM编码错误的行为规范。它强调编码前思考、简单性优先、精确更改和目标驱动执行,适用于编写、审查和重构代码,提高代码质量和开发效率。关键词:LLM编程规范,代码审查,软件开发指南,人工智能编码实践,编码行为准则。
事务正确性Skill transaction-correctness
这个技能涉及Turso数据库中的WAL(预写日志)机制、检查点、并发规则和恢复过程,用于确保事务的原子性、一致性、隔离性和持久性(ACID属性)。关键词包括:WAL、检查点、并发控制、事务恢复、Turso数据库、数据库事务、预写日志、检查点策略。
软件测试技能Skill testing
本技能提供了全面的软件测试指南,涵盖如何编写.sqltest、TCL和Rust测试,测试运行命令,以及测试最佳实践。适用于开发人员和测试工程师,确保软件质量。关键词:软件测试,测试编写,测试运行,SQL测试,Rust测试,自动化测试。
SQLite存储格式Skill storage-format
SQLite存储格式技能涉及数据库文件的内部结构,包括B树组织、页面管理、单元格格式、溢出页和空闲列表,用于优化数据存储和检索,适用于数据库系统开发、存储优化和性能调优。关键词:SQLite, 存储格式, B树, 页面, 数据库, TursoDB, 数据存储, 性能优化
PR工作流程管理Skill pr-workflow
这个技能专注于软件开发中的PR(Pull Request)工作流程管理,包括Git提交实践、CI/CD环境设置、安全规范和第三方依赖处理。旨在提升团队协作效率和代码质量,适用于版本控制和DevOps流程优化。关键词:PR管理、Git提交、CI/CD、软件开发、安全、依赖管理、团队协作、代码质量。
MVCC多版本并发控制Skill mvcc
MVCC多版本并发控制是一种数据库技术,用于实现行级快照隔离和并发管理,通过维护多版本数据来减少读写冲突,提高数据库性能和一致性。关键词:MVCC、数据库、并发控制、快照隔离、多版本、事务处理、数据库性能优化。
知识索引工具Skill index-knowledge
这个技能用于自动生成代码库的层次化AGENTS.md知识库文档,通过并行智能体分析、复杂度评分和智能决策,优化代码文档管理和团队协作效率。关键词:AGENTS.md生成、代码库知识索引、复杂度评分、智能文档工具、并行分析、AI智能体。
差分模糊测试器Skill differential-fuzzer
差分模糊测试器是一个用于数据库测试的工具,通过比较Turso与SQLite对随机生成的SQL语句的执行结果,来检测正确性错误。关键词包括:Turso、SQLite、模糊测试、数据库测试、错误检测、Differential Fuzzer、测试自动化、软件质量。
TursoDB调试技能Skill debugging
这个技能用于调试TursoDB数据库,通过字节码比较、日志记录、ThreadSanitizer压力测试、确定性模拟和腐败分析等工具,确保SQLite兼容性和数据库完整性,适用于软件开发中的数据库测试和问题排查。关键词:TursoDB调试、数据库测试、字节码分析、日志追踪、ThreadSanitizer、模拟重现、腐败检测、SQLite兼容性、后端调试。
代码质量Skill code-quality
这个技能提供了一套代码质量指南,专注于Rust编程语言中的正确性规则、设计模式和最佳实践,旨在提高软件开发的可靠性和性能。它帮助开发者编写更安全、高效的代码,避免常见错误和过度工程化。关键词包括:代码质量、Rust编程、软件工程、正确性规则、性能优化、错误处理、避免过度工程、软件架构、系统编程、开发指南。
变更数据捕获Skill cdc
变更数据捕获(CDC)是一种数据库架构技术,用于实时追踪数据库表中的INSERT、UPDATE、DELETE操作,并将变更记录写入专用表中,以支持数据同步引擎实现远程数据推送。该技能适用于数据库同步、数据备份、实时分析等场景,提高数据一致性和可追溯性。关键词包括:CDC、变更数据捕获、数据库同步、Turso、SQLite、数据变更追踪、架构设计、后端开发、数据工程。
Turso异步I/O编程模式Skill async-io-model
这个技能教授如何在Turso框架中使用状态机和CompletionGroup处理异步I/O操作,避免重入错误,提高代码可靠性。适用于Rust系统开发和高性能应用。关键词:异步I/O、状态机、Turso、Rust、编程模式、重入避免、CompletionGroup、IOResult、性能优化、系统编程。