开发者开源 synathic：用 Postgres 后验校验戳穿 agent 假报成功
Gallegos_Daniel · reddit · 2026-09-17
开发者 GallegosDaniel 分享了在生产环境跑 agent 时的常见痛点：agent 报告「成功」、日志干净，但数据库里根本没写入。他调研发现这个问题极普遍——有人遇到约 40 笔已向用户确认的预订从未落表；更贵的成本不是修数据，而是没人知道哪些记录可信的不确定窗口。
他由此构建了 MIT 开源的 SDK synathic：用装饰器包装 agent 函数，函数执行后直接查询 Postgres 验证你声明的前置条件（如「某行应存在且字段匹配」），是确定性检查而非让 LLM 自评。关键设计是因果性校验：仅查行存在不够——若该行早已存在，写入失败也能通过检查；因此默认行为会在函数运行前捕获时间戳，要求行的 updatedat 晚于该锚点，证明是本次执行导致的当前状态。作者坦承并发写入同一行的窗口仍是未解决的缺口。
另有 sync 模式用于支付、预订等用户在等待的场景——响应前确认写入已落库，其余默认 fire-and-forget 不加延迟。目前仅支持 Postgres，作者在寻找生产环境真实用户试用反馈。
「编程与Agent」频道最新
- Diorama 把 Codex 编码 agent 搬进可视化「办公室」实时观察 — davidfromkansas · 2026-09-17
- 代码先行再叠自建 UI 层：一人做出定制品牌设计工具 — floguo · 2026-09-17
- 7 个模型实测：编码 agent 的 harness 不影响成功率却显著影响成本 — DavideCrapis · 2026-09-17
- 用 AI 模型 Jev 搭的交易 bot 已亏 85%，作者自嘲「还可以」 — generativist · 2026-09-17
- Reddit 用户实测 SoL-Pi 三天:记忆对象单次省 12k tokens — Garblyx · 2026-09-17
- Steve Jobs 式审美:AI 生成代码的内部也该像外壳一样美 — sergeykarayev · 2026-09-17