🎰 停止用 Vibe Coding 赌博：认识 Quint

Source: Dev.to

让我们实事求是一次。使用 Claude、Cursor 或 ChatGPT 提示感觉棒极了……直到它不再棒。

你一定熟悉这个循环：

• 你输入一个模糊的提示，比如 “帮我写一个认证系统”。
• AI 输出 200 行看起来很漂亮的 TypeScript。
• 你得到多巴胺的快感。 “我就是 10 倍工程师！”
• 你运行它。
• 错误: undefined is not a function。
• 你花了接下来的 4 小时调试你没有写、几乎不懂的代码。

这不是工程，这是一台带语法高亮的老虎机。

问题所在：AI（以及我们大多数人）经常没有 “冷静”

Vibe coding 之所以混乱，是因为大模型是取悦人的。它们想立刻给你代码，而不管这些代码在架构上是否合理。它们缺乏思考框架，也不检查不变量。它们只是……随意发挥。

如果你能强迫 AI 在敲代码之前先思考呢？

于是出现了 Quint 🛠️

Quint 是一个小巧、务实的 AI 辅助工程工具箱。

• 不是新的 IDE。
• 不是臃肿的 SaaS 包装。
• 目前是一组 CLI 命令，充当你与 AI 工具协作的 “思考 OS”，让双方都更严谨。

无论你使用 Claude Code、Cursor、Gemini CLI 还是 Codex，Quint 都会坐在中间并说：

“嘿 AI，在写那个函数之前，先向我证明它不会破坏构建。”

为什么你现在就该在意

• 当前版本仅提供命令集。没有 UI，没有沉重依赖，对 Claude Code 或 Cursor 几乎没有额外负担。
• 在真实场景——处理高度复杂的工程甚至营销任务时，结果质量的差异惊人。
• 你不再得到 “看似合理的意大利面”，而是得到遵循目标、并附带证据的决策记录。

这真的很有道理。

内部实现是什么？ 🧠

最新的 Quint Code 实现了约 10 % 的 First Principles Framework (FPF) —— 由 Anatoly Levenchuk 创建的原始、正式且复杂的 “思考 OS” 规范。

为什么只发布 10 %？
因为这 10 % 正是帕累托原则的体现。你不需要博士级的形式逻辑就能提升 AI + 人类的协同推理。只需要强迫 AI 承认少量不变量和推理链，充当外部转换器——像预言机或监督者。

即使是这个最小实现，也让 AI 代理的决策规划和后续工作远优于启发式规划器和待办事项。

🔮 近期计划：v4.0.0 与 MCP 热潮

我们即将发布 v4.0.0，这将是一场盛宴。

• 引入一个小型 MCP（Model Context Protocol）服务器，在本地 SQLite 数据库 + markdown 文件中处理 FPF 核心和不变量。
• 让 Quint 能向 AI 持久提供关于项目 “物理定律”、规则和过去决策的上下文——大多数情况下是自动完成。
• 目标是通过该 MCP 支持约 75 % 的 FPF 不变量：仍然小巧、仍然聚焦，却显著更智能。

🧪 试一试。弄坏它。吐槽它。

我想得到真正在一线使用 Cursor/Claude Code 的开发者的反馈——而不是客套的赞美。

• 它符合你的工作流吗？
• README 看起来太晦涩了吗？
• 它帮你避免了幻觉吗？
• 它帮助你更好地规划复杂任务了吗？

Quint Code 仓库链接:

去试试吧。如果它烂，就告诉我原因。如果它治愈了你的 vibe‑coding 头疼，请传播开来。

Quint 是个小工具，却拥有惊人的“大脑能量”。

感谢阅读，
ivan zakutni