朴准佑
我提出 Reins Engineering。
为 AI 代理装上缰绳——用确定性契约引导方向，用棘轮锁定进展，将决策与实现分离。我与 AI 一起，日夜不停地写代码和文章。
Reins Engineering
Prompt Engineering → Say it well and it works
Context Engineering → Give good context and it works
Harness Engineering → Contain it with structure
Reins Engineering → Steer it with direction
没有缰绳的笼头不过是围栏。不要改变模型，而是加上契约。
开源项目
Reins Engineering 工具：
- yongol — 交叉验证 10 个 SSOT 并生成代码。Reins Engineering 的实现。有缰绳的笼头。
- toulmin — 基于 Toulmin 论证模型的 Go 规则引擎。规则是 Go 函数，例外是 defeats 图，判定由 h-Categoriser 完成。
- filefunc — 一个文件，一个概念。代理可操作的代码结构。
- tsma — 遗留代码的自动化测试脚手架。
- ssac — Service Sequences as Code。声明式服务流。
- whyso — git blame 看不到的东西。从 Claude Code 会话中提取变更历史。
世界项目：
- GEUL — 面向 AI 的语义语言。为每条信息附加来源、时间戳和置信度，实现机械化验证。第三种语言。
- DABEL5 — 戴森球工程。从小行星采矿到镜面自复制——仅用现有技术设计卡尔达肖夫 I 型文明。
联系方式
版权声明
本站技术与评论文章以 CC BY 4.0 许可协议共享。
- 自由分享、引用、翻译和创建衍生作品。
- 署名 — 请注明来源和作者（朴准佑）。
开源代码遵循各仓库的许可协议。 联系方式：mail@parkjunwoo.com