
MIMIR
io.github.abderahmane-ai由 GitHub 账号 abderahmane-ai 发布v1.2.0更新于 Oct 25, 2026
Typed, calibrated and certified decisions over a context, with abstention and evidence.
概览
MIMIR 是本地运行的非生成式决策服务器,让助手对情境做类型化、校准且可审计的选择、验证、排序与评分。
- 可以做什么
- 根据你提供的选项与情境做出类型化决策,返回答案、校准概率与证据,并标明已决定、弃权或转交。
- 适用场景
- 当代理需要可审计、可复现的分类、路由、验证或排序决策,而不是自由生成文本时适用;也适合在工具调用前按政策规则放行、拒绝或转交人工审核。需要校准概率与风险上限的客服分流、合规检查或高吞吐自动化流程尤其合适。
- 运行要求
- 以 uvx 运行 PyPI 包 mimir-decisions(需 Python 3.11 以上),或使用容器镜像;首次加载会从 Hugging Face 下载并验证模型权重,需要网络。MCP 工具需以 tools.yaml 配置;HTTP 模式可选使用 MIMIR_API_KEYS 环境变量。
安装
在 SourceWeft 中
- 打开 控制台中的 MIMIR,将其添加到工作区。
- 为需要使用其工具的对话启用该服务。
Desktop only,通过 STDIO。 STDIO 服务会启动本地进程,因此需要 SourceWeft 桌面宿主。
其他 MCP 客户端
参照 仓库 中的启动说明。
README
mimir-decisions
Decisions your agents can act on. MIMIR is a non-generative decision model: give it a context, a question and the options, and get back a typed answer with calibrated probabilities, the evidence behind it, and a certified verdict on whether to act or escalate. No text generated. Nothing to parse. Nothing to hallucinate.
It beats Laya and GLiNER2.5-Decide head-to-head on six of ten tasks — by 54.7 points on Banking77, 42.3 on MASSIVE, 36.3 on typed decisions — and where it cannot back an answer, it abstains instead of guessing.
Python 3.11+. Documentation: https://abderahmane-ai.github.io/mimir/
Why MIMIR
Most agents route, classify, and verify using a general-purpose language model: slow, expensive, and impossible to audit. MIMIR is built for structured decisions. It runs locally on Torch, on CPU or GPU, returns calibrated probabilities with every answer, and issues a certificate — measured evidence that answers passing its threshold stayed at or below the risk level you ask for, on held-out data.
- No generation. Answers are drawn from the options you supply, not synthesised. The model cannot hallucinate an answer that wasn't on the list.
- Calibrated confidence. Probabilities are not softmax scores; they are calibrated to match realised accuracy on held-out data.
- Answers, always. Every decision returns the model's prediction with its probabilities. In
thresholdandcertifiedmodes, answers below the floor come backdeferredfor review — never withheld. - One typed contract. Seven decision types — choice, multi-choice, yes/no, verify, rank, rate, estimate — all returning the same result shape, over any context.
- Portable. The same Python interface works locally on CPU or GPU, over HTTP, and over MCP. Framework adapters exist for eight agent SDKs.
Quickstart
answer is always the model's prediction. status says whether it cleared the operating floor:
DECIDED— act onanswer.ABSTAINED— no listed option applies (clean OOD rejection).DEFERRED— the answer came in below the certificate floor; route to a human reviewer.
The Risk Dial: From Mission-Critical SLA to High-Throughput Agents
The release certifies thresholds across four finite-sample risk levels (model.info().risk_levels = (0.005, 0.01, 0.02, 0.05)):
risk=0.01(99.0% SLA) — Mission-critical aerospace / financial SLA: Sets an ultra-strict statistical floor. Only near-certain answers execute automatically; anything uncertain is deferred for human review rather than risked.risk=0.05(95.0% SLA, the default) — High-throughput web agent / customer workflow: The sweet spot for autonomous agents, unlocking automated execution on legitimate requests while still mathematically bounding error rates on held-out data.mode="standard"— Returns the calibrated argmax without finite-sample risk deferral;riskthen only selects the certificate attached to the result.mode="certified"also defers below the threshold certified atrisk.
Give the model the ticket as a person wrote it paired with typed fields — the same options over a one-line summary can come back ABSTAINED. The Decisions guide covers the question and option shapes that decide.
The first call downloads the model from the Hugging Face Hub at the revision this package version pins, verifies its Sigstore signature, checks every file against the manifest's SHA-256, and loads it.
Decision types
A context can be a string, a list of strings, a dict read as a JSON state, or a Context of typed passages, tables, and fields. Table.from_dataframe(frame) reads a pandas or polars DataFrame. decide_many batches multiple decisions, and every method has an async counterpart (adecide, adecide_many, …).
Certification
decide answers every request in standard mode. threshold mode defers answers below your min_confidence; certified mode defers answers below the release's threshold at risk (model.info().risk_levels), and attaches the certificate when the answer passes. Dial risk=0.01 (99% SLA) for mission-critical operations where false actions carry heavy penalties, or risk=0.05 (95% SLA) for high-throughput autonomous agents. decide_uncertified returns the raw model answer with no policy applied.
A certificate covers one exact configuration: weights, Torch version, device, and hardware. On hardware not listed in the certificate, the first load runs the release's equivalence set and requires every decision to match. To certify thresholds on your own labelled data:
Remote use
MimirClient has the same interface as Mimir, so all code, decision tools, and framework adapters accept either. It requires only the base install. Connection errors, timeouts, and 429/502/503/504/529 responses are retried with exponential backoff that honours Retry-After.
Decision tools
Tools can also be declared in a YAML file, which the HTTP and MCP servers load:
Tool-call checks
A tool-call check decides, against rules you write, whether an agent's pending tool call may run. A confident yes allows it, a confident no denies it, and anything else escalates to a person.
Benchmarks
benchmarks/mimir_vs_laya_enterprise_benchmark.ipynb (run it in Colab) runs ten scenarios, each a written policy plus a pending tool call: five legitimate and five that violate the policy. Every system sees the same prompts, tools, arguments and policy text. Recorded run: Colab CPU, mimir-decisions 1.2.0, laya 0.4.0.
The suite is ten scenarios written by the MIMIR authors, so the figures describe this suite rather than a general rate. MIMIR-1's four escalations came at the pick step; its policy check allowed or denied, and denied the two violating calls the router did route to their requested tool (4B and 5B). MIMIR-1 ran in threshold mode at 0.50. Latency is a Colab CPU runtime with two model passes per decision.
benchmarks/sysone-bench records the run on the independent sysone-bench suite.
Agent frameworks
Each adapter turns decision tools into the framework's native tool type and wires a tool-call check into that framework's own approval hook.
Every framework also reaches MIMIR through its own MCP client. examples/ has a native, an MCP, and a checked agent for each framework, plus a Vercel AI SDK agent in TypeScript.
HTTP server
Concurrent requests are batched. With keys in MIMIR_API_KEYS, every route except the probes requires Authorization: Bearer <key>. A server with no keys listens only on loopback unless started with --allow-no-auth. The OpenAPI 3.1 document is openapi.json.
MCP server
Each configured tool becomes an MCP tool that takes only a context; --generic-tools adds mimir_choose, mimir_verify, mimir_rank, and mimir_rate. A deferred decision is a normal result telling the agent to escalate.
In Claude Code:
Claude Desktop, Cursor, and VS Code take the same command or the same URL and header in their MCP configuration. The server is registered in the MCP Registry as io.github.abderahmane-ai/mimir.
Containers
Images carry the runtime, never the model weights. On first start, the model is downloaded at the revision the package version pins, verified, and cached in /models. To run from that cache with no network access, append serve --host 0.0.0.0 --model-cache /models --offline.
Images are signed with Sigstore by the release workflow:
Command line
Integrity
Releases are loaded from a pinned Hugging Face revision. Before any model file is read, the manifest's Sigstore signature is verified against the abderahmane-ai/mimir release workflow and every file is checked against the manifest's SHA-256. No pickle is used anywhere.
Migrating
mimir.compat.systemone.v1 converts Jev /v1/systemone requests and responses, and mimir.compat.laya.v1 exposes load(...).predict(state, questions) in Laya 0.3.20's shape. See the migration guides for step-by-step instructions.
Licensing
The MIMIR SDK is licensed under Apache-2.0; that license covers the software only, not the MIMIR model weights. The MIMIR-1 model weights are licensed separately under the MIMIR Model License.
Eligible community users may use MIMIR-1 commercially without royalties, subject to the MIMIR Model License. Anyone may download, benchmark, evaluate and prototype with MIMIR without registering.
Organizations exceeding the Revenue Threshold (US$1,000,000 annual gross revenue), or requiring enterprise, OEM, redistribution, hosting, or other additional rights, may obtain a commercial agreement from Mythologic. See COMMERCIAL-LICENSING.md.
来源:README.md,提交 2c25d38
工具
0版本历史
4- v1.2.0最新Oct 8, 2026
- v1.1.0Sep 30, 2026
- v1.0.2Sep 29, 2026
- v1.0.0Sep 29, 2026
评分
已满足适用检查项的 50%
该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。
- 近 30 天内可连通25 分
请保持端点能够响应 MCP 握手;SourceWeft 每 30 天探测一次。
- 已声明认证方式10 分
请在注册中心条目中声明凭据请求头,或保持端点能够响应探测,以便判定其认证方式。
- 已列出工具15 分
请让服务器在无凭据时响应 tools/list,或发布可在沙箱中无凭据启动的软件包。
- 描述必需15 分
- 图标10 分
- 文档15 分
- 许可证10 分