Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Typed, calibrated and certified decisions over a context, with abstention and evidence.
These three are never merged into one score: opinions, measurements and popularity are different things.
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
Pick the AI app you use, then copy the settings.
You need
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Open Claude Desktop → Settings → Developer → Edit Config, and paste this into claude_desktop_config.json
{
"mcpServers": {
"mimir": {
"command": "uvx",
"args": [
"mimir-decisions",
"mcp",
"--tools",
"your-value"
]
}
}
}Run this in your terminal
claude mcp add mimir -- uvx mimir-decisions mcp --tools your-valueThis one needs values on its command line, so copy the settings and fill them in.
Paste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"mimir": {
"command": "uvx",
"args": [
"mimir-decisions",
"mcp",
"--tools",
"your-value"
]
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
This one needs values on its command line, so copy the settings and fill them in.
Paste into .vscode/mcp.json in your project
{
"servers": {
"mimir": {
"type": "stdio",
"command": "uvx",
"args": [
"mimir-decisions",
"mcp",
"--tools",
"your-value"
]
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
This one runs on your computer, and ChatGPT can only connect to servers on the internet. Pick another app.
Your choice stays on this device in a cookie; no account needed.
These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
Runs on your computer; the tool list appears in your AI app after you install it.
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 8, 2026
The registry name was verified with the GitHub account abderahmane-ai, which owns the repo
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
This one runs on your computer; there is no internet endpoint
Runs on your computer and uses local settings instead
Runs on your computer; we can only read tool lists from internet endpoints
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 1 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
The registry does not list a required key, though some servers ask you to sign in on first use.
It runs on your computer. Your AI app starts it when needed, and data does not pass through the maker’s servers (unless it calls an online service itself).
The GitHub repo last changed –, and the latest version (1.2.0) reached the registry 31 days ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. You also need Python (uv), Docker on your computer.
In the same category: Spec Driven Development, Remote Desktop Commander, Filesystem MCP
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Filesystem MCP server for AI assistants.
Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.
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.
pip install "mimir-decisions[local]" # the local engine (CPU and CUDA)
pip install mimir-decisions # data models and HTTP client only
Python 3.11+. Documentation: https://abderahmane-ai.github.io/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.
threshold and certified modes, answers below the floor come back deferred for review — never withheld.from mimir import Context, Field, Mimir, Passage
model = Mimir.from_pretrained("Mythologic/MIMIR-1")
team = model.pick( "Hi, invoice INV-8821 was billed twice. Please refund the duplicate.", ["billing", "technical", "sales"], ) # "billing"
context = Context( passages=[ Passage( title="Ticket #4091", text="Hi, we were billed twice ($2,400 total) on invoice INV-8821. Please refund the $1,200 duplicate today or we will cancel our plan.", ) ], fields=Field.from_json({ "invoice_id": "INV-8821", "duplicate_amount": 1200, "customer_plan": "enterprise", }), )
result = model.choose( context, "Which department should handle this request?", options={ "billing": "Billing: invoices, payments, refunds", "technical": "Technical: bugs, outages, system errors", "sales": "Sales: pricing, new contracts", "other": "Other: everything else", }, )
result.status # Status.DECIDED, Status.ABSTAINED or Status.DEFERRED result.answer # "billing", or None when no option applies result.probabilities # calibrated probability of each option id result.certificate # mathematical proof of risk bound on held-out data
answer is always the model's prediction. status says whether it cleared the operating floor:
DECIDED — act on answer.ABSTAINED — no listed option applies (clean OOD rejection).DEFERRED — the answer came in below the certificate floor; route to a human reviewer.The release certifies thresholds across four finite-sample risk levels (model.info().risk_levels = (0.005, 0.01, 0.02, 0.05)):
risk then only selects the certificate attached to the result. mode="certified" also defers below the threshold certified at risk.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.
| Spec | Answer |
|---|---|
Choice(question, options) | an option id, or None |
MultiChoice(question, options) | the option ids that apply |
YesNo(question) | True or False |
Verify(claim) | supported, contradicted, or not_enough_information |
Rank(question, candidates) | candidate ids, best first |
Rate(question, levels) | a level id; levels given lowest first |
Estimate(question, low, high, unit) | a number in [low, high], with a confidence interval |
from mimir import Context, Field, Passage, Rate, Table
context = Context( passages=[Passage(title="Ticket #4412", text="The export has failed every night this week.")], tables=[Table.from_rows([["2026-03-02", "failed"]], header=["date", "status"])], fields=Field.from_json({"customer": {"plan": "enterprise", "seats": 240}}), ) result = model.decide(context, Rate("How urgent is this?", ["low", "medium", "high"]), risk=0.01)
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, …).
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:
mimir calibrate labelled.jsonl --risk 0.01 --confidence 0.95 --out policy.json
model = Mimir.from_pretrained("Mythologic/MIMIR-1", policy="policy.json")
from mimir import MimirClient
remote = MimirClient("https://mimir.internal", api_key="...") remote.choose( "Hi, we were billed twice for March. Please refund the duplicate today or we will cancel our plan.", "Which department should handle this request?", options={ "billing": "Billing: invoices, payments, refunds", "technical": "Technical: bugs, outages, system errors", "sales": "Sales: pricing, new contracts", "other": "Other: everything else", }, )
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.
from mimir import Choice
route_ticket = model.tool( "route_ticket", Choice( "Which department should handle this request?", { "billing": "Billing: invoices, payments, refunds", "technical": "Technical: bugs, outages, system errors", "sales": "Sales: pricing, new contracts", "other": "Other: everything else", }, ), description="Route a support ticket to the team that owns it.", ) route_ticket( "Hi, we were billed twice for March. Please refund the duplicate today or we will cancel our plan." ) route_ticket.input_schema, route_ticket.output_schema
Tools can also be declared in a YAML file, which the HTTP and MCP servers load:
tools:
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.
check = model.tool_call_check(
["Refunds above 500 dollars need a manager's approval."], tools=["issue_refund"] ) outcome = check("issue_refund", {"order": "4412", "amount": 900}) outcome.permission # Permission.ALLOW, Permission.DENY or Permission.ESCALATE outcome.reason # one sentence for the agent or the approver
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.
| System | Correct | Policy-violating call executed (of 5) | Legitimate call executed (of 5) | Median latency |
|---|---|---|---|---|
| Laya, router only | 4/10 | 5 | 4 | 1,988 ms |
Laya, router + noul gate | 6/10 | 1 | 2 | 4,556 ms |
MIMIR-1, pick + tool_call_check | 9/10 | 0 | 4 | 10,076 ms |
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.
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.
| Framework | Install | Tools | Tool-call check |
|---|---|---|---|
| OpenAI Agents SDK | mimir-decisions[openai-agents] | as_function_tool | guard: escalations pause the run for approval |
| LangChain / LangGraph | mimir-decisions[langchain] | as_structured_tool | ToolCallCheckMiddleware: escalations interrupt with the human-in-the-loop request |
| Py
Only the beginning is shown; read the rest in the repo