开源 Rust 命令行工具 EngArg：用 LLM 构建 Toulmin 论证

开发者 emmett08 在 GitHub 开源了 Rust 命令行工具 EngArg，可从一条论断构建扩展的 Toulmin 论证，检查后果性反驳并给出验证前提所需证据，仓库采用 GPL-3.0-only 许可证。 工具支持 markdown、outline、prose、json 等输出格式，默认接入 OpenAI Responses API，可通过 --model 和 --service-tier 请求 GPT-6.1 Sol 的 Ultrafast 模式，并用 --reasoning-effort 设置 low 到 max 五档推理力度。默认混合工作流执行六次调用，--mode single --max-calls 1 提供低成本评估基线，所有请求经审计记录保存。 工具本身不捆绑模型服务、API 接入或付费推理，用户需自行配置模型服务；论断文本、证据和先前评估会发送给所配置的服务商。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。