axiomize：拒绝运行未验证科学模型的 MCP 服务器
Emergency-Tutor-7 · reddit · 2026-10-31
开源（MIT）科学建模引擎 axiomize 发布，附带 MCP 服务器（stdio，pip install axiomize 后 axiomize mcp 启动），暴露 35 个工具，命名空间为 axiomize.<verb>：16 个 model（plan/validate/simulate/fit/compare/repair/stability/uncertainty/bifurcation 等）加 19 个覆盖数据清洗、敏感性分析、实验设计、复现等工作流的工具。
核心设计原则：未通过量纲验证的模型一律拒绝模拟，agent 收到带失败检查项的结构化错误而非「看起来合理」的数字；昂贵研究需显式批准（APPROVALREQUIRED），workflowpolicy 工具可查询当前开销限额；所有运行存入完整性校验的账本，inspectrun/reproduce 可验证而非重算。支持导出 SBML、CellML、Modelica 等格式及 SHA-256 可移植打包。局限：npm 包只是启动器、贝叶斯采样和 FEM 需额外依赖且不可用时如实报告。
所属事件:开源科学建模引擎 axiomize 发布，附 MCP 服务器(2 条相关)→
「编程与Agent」频道最新
- LLM 强化学习暗藏 Off-Policy 漂移：48 页长文梳理 14 种修正方法 — cwolferesearch · 2026-10-31
- MCP 服务成共识后，给你的 Agent 收费正成为新变现路径 — pritisinghhhh · 2026-10-31
- 追逐 Karpathy 峰：AI 生产力曲线与过用后的 Slop 悬崖 — sirbayes · 2026-10-31
- Lauren Tan 多智能体实战法：先花 token 建规则校验，再从 6 个 bot 扩到 200+ 智能体 — anselm · 2026-10-31
- 用 MCP 让 Claude 按颜色重排 iPhone 主屏，写入需人工确认 — BTCLSD · 2026-10-31
- 开发者体验单 Agent 编排器：像突然变成了多线程处理器 — nathanborror · 2026-10-31