axiomize：拒绝运行未验证科学模型的 MCP 服务器
Emergency-Tutor-7 · reddit · 2026-10-31
开源（MIT）科学建模引擎 axiomize 发布，附带 MCP 服务器（stdio，pip install axiomize 后 axiomize mcp 启动），暴露 35 个工具：16 个 model（plan/validate/simulate/fit/stability/uncertainty 等）加 19 个覆盖数据清洗、敏感性分析、实验设计、复现等工作流。
核心原则：未通过量纲验证的模型一律拒绝模拟，agent 收到带失败检查项的结构化错误而非「看起来合理」的数字；昂贵研究需显式批准，运行结果存入完整性校验账本可复现。支持导出 SBML、CellML、Modelica 及 SHA-256 可移植打包。
所属事件:开源科学建模引擎 axiomize 发布，附 MCP 服务器(2 条相关)→
「编程与Agent」频道最新
- 晒 Codex 用量: lifetime 715 亿 token,连续 262 天不间断使用 — TheMoonMidas · 2026-10-31
- 用 GPT-6 Astra 设计电动改装,把办公室椅子真造成了 — sdand · 2026-10-31
- 开发者用 DeepSeek 搭自主 agent 挖掘 GTA6 寻宝线索并做成地图应用 — MicahBerkley · 2026-10-31
- Anthropic 无 Rust 工程师用 Claude 重写 Messages API,CPU 降 40-50% — kieranklaassen · 2026-10-31
- MiniMax M3.1 Flash 17 分钟自测开发街机游戏,全流程仅花 15 美分 — omarsar0 · 2026-10-31
- 恶搞味拉满的 Grimoire:把多个 Claude 账号变成「恶魔军团」统一管理 — voidwalker_com · 2026-10-31