基于 Python 的通用自动化框架，用关键字驱动方式编写验收测试和 RPA 流程，让非程序员也能读懂和参与测试用例。

开源视觉、视觉惯性与多地图 SLAM 库，支持单目、双目、RGB-D 相机，在室内外场景提供高精度实时定位与建图。

把 JavaScript 代码自动转换成 TypeScript，也能给已有的 TypeScript 补全类型、修正类型问题，让代码类型更严格。

Ruby 的数据结构校验与类型转换库，用声明式 schema 定义字段规则，自动完成类型强制转换和校验，适合在 API 或表单入口处保证数据质量。

Ruby 的类型安全数据校验库，用声明式 schema 和规则定义校验逻辑，支持类型强制转换，适合在数据入库前做结构化校验。

专治 AI 编码助手留下的烂摊子：死代码、不安全类型转换、吞异常、重复代码和安全风险，50+ 条确定性规则覆盖 10 种语言，提供 CLI、CI 和 GitHub Actions 集成，运行时不调用 LLM。