Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
제작자가 쓴 설명(영어 원문)
Typed, calibrated and certified decisions over a context, with abstention and evidence.
이 세 가지는 절대 하나의 점수로 합치지 않아요. 의견, 측정, 인기는 서로 다른 것이니까요.
이 서버는 아직 쉬운 말로 된 요약을 쓰지 못했어요. 아래는 레지스트리에서 읽어 온 사실이에요.
쓰고 있는 AI 앱을 고른 다음 설정을 복사하세요.
필요한 것
어떤 앱을 쓰세요?
위에서 앱을 고르세요. 기억해 두었다가 다음부터는 버튼에 “…에 설치”라고 표시해요.
Claude Desktop → Settings → Developer → Edit Config를 열고 claude_desktop_config.json에 이 내용을 붙여 넣으세요
{
"mcpServers": {
"mimir": {
"command": "uvx",
"args": [
"mimir-decisions",
"mcp",
"--tools",
"your-value"
]
}
}
}터미널에서 이 명령어를 실행하세요
claude mcp add mimir -- uvx mimir-decisions mcp --tools your-value이 서버는 실행 명령어에 값을 넣어야 해서, 설정을 복사한 뒤 직접 채워 주세요.
프로젝트의 .cursor/mcp.json 또는 ~/.cursor/mcp.json에 붙여 넣으세요
{
"mcpServers": {
"mimir": {
"command": "uvx",
"args": [
"mimir-decisions",
"mcp",
"--tools",
"your-value"
]
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
이 서버는 실행 명령어에 값을 넣어야 해서, 설정을 복사한 뒤 직접 채워 주세요.
프로젝트의 .vscode/mcp.json에 붙여 넣으세요
{
"servers": {
"mimir": {
"type": "stdio",
"command": "uvx",
"args": [
"mimir-decisions",
"mcp",
"--tools",
"your-value"
]
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
이 서버는 내 컴퓨터에서 실행되는데, ChatGPT는 인터넷에 있는 서버에만 연결할 수 있어요. 다른 앱을 고르세요.
선택한 앱은 이 기기의 쿠키에만 저장돼요. 계정은 필요 없어요.
이 설정은 제작자의 레지스트리 정보로 만들었어요. README와 다르면 README를 따르세요.
내 컴퓨터에서 실행돼요. 설치하면 AI 앱에 도구 목록이 나타나요.
누구나 볼 수 있는 정보를 점검했고, 코드는 읽지 않았어요. 해당하지 않는 항목은 개수에서 뺐어요. · 2026년 11월 7일 점검
레지스트리 이름이 GitHub 계정 abderahmane-ai 기준으로 확인되었고, 이 계정이 저장소를 소유하고 있어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
내 컴퓨터에서 실행되는 서버라 인터넷 엔드포인트가 없어요
내 컴퓨터에서 실행되며, 대신 로컬 설정을 사용해요
내 컴퓨터에서 실행돼요. 도구 목록은 인터넷 엔드포인트가 있는 서버에서만 읽을 수 있어요
레지스트리에서 이 카테고리의 활성 서버 전체와 비교했어요. 스타는 게시자가 저장소를 소유한 경우에만 세요.
해당하는 기본 점검 1개 중 1개를 통과했어요. 코드는 읽지 않았어요. 키나 토큰을 넣기 전에 서버가 어떤 권한을 요구하는지 확인하고, 꼭 필요한 권한만 있는 키를 쓰세요.
레지스트리에 필수 키가 나와 있지 않아요. 다만 처음 쓸 때 로그인을 요구하는 서버도 있어요.
내 컴퓨터에서 실행돼요. AI 앱이 필요할 때 실행하고, 데이터는 제작자의 서버를 거치지 않아요(서버 자체가 온라인 서비스를 호출하는 경우는 제외).
GitHub 저장소는 마지막으로 – 변경됐고, 최신 버전(1.2.0)은 31일 전 레지스트리에 올라왔어요.
Claude Desktop, Claude Code, Cursor, VS Code처럼 MCP를 지원하는 앱에서 쓸 수 있어요. 내 컴퓨터에 Python (uv), Docker도 있어야 해요.
같은 카테고리에는: Spec Driven Development, Remote Desktop Commander, Asset Notation
같은 카테고리에서 다른 제작자가 만든 서버예요. 스타 순으로 정렬했어요.
카드 보는 법:★ GitHub 스타i세 기둥: 리뷰 · 점검 · 사용 정도i업데이트 = 최신 버전을 레지스트리에 공개한 날i
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.
Read and maintain an Asset Notation file on disk: net worth, holdings, valuations, CSV import.
제작자의 저장소에서 쓰인 그대로 가져왔어요. PopNx MCP가 검토하거나 보증한 내용이 아니에요. HTML, 이미지, 스크립트는 제거했어요. 링크를 누르면 이 사이트를 벗어나요.
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
앞부분만 보여 드려요. 나머지는 저장소에서 읽어 보세요