Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
คำอธิบายจากผู้ทำ (ภาษาอังกฤษตามต้นฉบับ)
Deterministic verification for AI-generated analysis: run a spec, inspect or diff a workbook
สามเรื่องนี้ไม่รวมเป็นคะแนนเดียว เพราะความเห็น การวัด และความนิยม เป็นคนละเรื่องกัน
ตัวนี้ยังไม่ได้เรียบเรียงเป็นภาษาไทย ด้านล่างคือข้อเท็จจริงที่เราอ่านจาก registry
เลือกโปรแกรม AI ที่คุณใช้ แล้วคัดลอกค่าตั้งไปวาง
ต้องเตรียมก่อน
คุณใช้แอปไหน
เลือกแอปด้านบน เราจำไว้ให้ ครั้งหน้าปุ่มจะขึ้นว่า “ติดตั้งลง …”
เปิด Claude Desktop → Settings → Developer → Edit Config แล้ววางค่านี้ในไฟล์ claude_desktop_config.json
{
"mcpServers": {
"andon": {
"command": "uvx",
"args": [
"andon-verify"
]
}
}
}พิมพ์คำสั่งนี้ใน Terminal
claude mcp add andon -- uvx andon-verifyวางในไฟล์ .cursor/mcp.json ของโปรเจกต์ หรือ ~/.cursor/mcp.json
{
"mcpServers": {
"andon": {
"command": "uvx",
"args": [
"andon-verify"
]
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
วางในไฟล์ .vscode/mcp.json ของโปรเจกต์
{
"servers": {
"andon": {
"type": "stdio",
"command": "uvx",
"args": [
"andon-verify"
]
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
ตัวนี้รันในเครื่องคุณ แต่ ChatGPT ต่อได้เฉพาะ server บนอินเทอร์เน็ต ลองเลือกแอปอื่น
ตัวเลือกเก็บในคุกกี้บนเครื่องนี้ ไม่ต้องมีบัญชี
ค่าตั้งนี้สร้างจากข้อมูลใน registry ของผู้ทำ ถ้าไม่ตรงกับ README ให้เชื่อ README
รันในเครื่องคุณ รายการเครื่องมือจะขึ้นในแอป AI หลังติดตั้ง
เราตรวจจากข้อมูลที่ใครก็เปิดดูได้ ยังไม่ได้อ่านโค้ด ข้อที่ไม่เกี่ยวกับตัวนี้ไม่นับในตัวหาร · ตรวจเมื่อ 7 พ.ย. 2569
ชื่อใน registry ยืนยันด้วยบัญชี GitHub gulmezeren2-byte ซึ่งเป็นเจ้าของ repo
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ตัวนี้รันบนเครื่องคุณ ไม่มี endpoint บนอินเทอร์เน็ต
ตัวนี้รันบนเครื่อง ใช้ค่าที่ตั้งในเครื่องแทน
รันในเครื่องคุณ เราอ่านรายการเครื่องมือได้เฉพาะตัวที่มี endpoint บนอินเทอร์เน็ต
เทียบกับทุก server ที่ยังใช้งานในหมวดนี้ทั้งทะเบียน ดาวนับเฉพาะเมื่อผู้ลงทะเบียนเป็นเจ้าของ repo
จากการตรวจเบื้องต้นของเรา ผ่าน 1 จาก 1 ข้อที่ตรวจได้ เรายังไม่ได้อ่านโค้ด ก่อนใส่กุญแจหรือ token ให้ดูว่า server ขอสิทธิ์อะไร และเลือกกุญแจที่ทำได้เท่าที่จำเป็น
registry ไม่ได้ระบุว่าต้องใช้กุญแจ แต่บางตัวจะขอให้ล็อกอินตอนใช้ครั้งแรก
รันบนเครื่องของคุณ โปรแกรม AI จะเปิด server ขึ้นมาเองเมื่อใช้ ข้อมูลไม่ต้องผ่านเซิร์ฟเวอร์ของผู้ทำ (ยกเว้นตัวที่ไปเรียกบริการออนไลน์ต่อ)
repo บน GitHub มีการแก้โค้ดล่าสุด – และส่งรุ่นล่าสุด (0.6.0) เข้า registry 4 เดือนที่ผ่านมา
โปรแกรมที่รองรับ MCP เช่น Claude Desktop, Claude Code, Cursor และ VS Code ตัวนี้ต้องมี Python (uv) ในเครื่องด้วย
ในหมวดเดียวกันมี Spec Driven Development, Remote Desktop Commander, Date Math
server หมวดเดียวกันจากผู้ทำคนอื่น เรียงตามดาว
อ่านการ์ด:★ ดาว GitHubiสามเสา: รีวิว · ผลตรวจ · การใช้งานiอัปเดต = วันที่ส่งรุ่นล่าสุดเข้า 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.
Date/time math for agents: business days, holidays, time zones, cron, RRULE. 25 free calls/day.
ส่วนนี้คัดจาก repo ของผู้ทำตามต้นฉบับ PopNx MCP ไม่ได้ตรวจหรือรับรองเนื้อหา ตัด HTML รูปภาพ และสคริปต์ออกแล้ว ลิงก์จะพาออกนอกเว็บ
Stop the line when the numbers don't add up.
andon re-checks the numbers in finished analysis — the report your AI agent just drafted, the workbook a colleague "quickly updated" — against the data they came from and against themselves. It does this with arithmetic, not with another LLM: reconciliation, internal consistency, schema contracts and Excel workbook integrity, written down as a small YAML spec and enforced with exit codes.
That screenshot is real output. The example it runs on is in examples/quarterly-report/, staged by a script that plants the defects I keep meeting in real reporting work: a count taken from a stale snapshot, a revenue total typed over by hand, shares that sum to 101.2, a total row nobody updated after a data refresh, a #REF!, and freight numbers stored as text.
I'm an industrial engineer. I build and run operations reporting — delivery KPIs, forecast accuracy, inventory analytics — and over the last two years an increasing share of the first drafts around me has been written by AI agents. They are fast, tireless, and confidently wrong in ways a tired human is not: the filter that silently dropped cancelled orders, the percentage column that almost sums to 100, the total row that survived three edits of its parts.
The common answer is to ask a second model to review the first one. I think that is the wrong tool. Whether 539 rows really sum to 257,060.48 is not a matter of opinion, and no amount of model capability makes an opinion the right instrument for it.
Manufacturing solved this problem decades ago. On a Toyota line, any worker who spots a defect pulls a cord — the *andon* — and the line stops until the problem is understood. The machine equivalent, *jidoka*, is a machine that stops itself when it detects an abnormal condition. This tool is that cord for spreadsheets and reports: a small, deterministic gate between "the analysis is written" and "the analysis is sent."
andon's behavior is easier to trust because it is constrained. These rules are enforced in code, not just promised here:
pip install andon-verify
The PyPI distribution is named andon-verify (the bare andon name was already taken); the command and the import stay andon — andon run ..., import andon. From source: pip install git+https://github.com/gulmezeren2-byte/andon.
Point andon at data and claims:
# andon.yaml
version: 1
sources: orders: data/orders.csv report: out/weekly.xlsx#Summary
checks:
andon run andon.yaml # human-readable verdict andon run andon.yaml --json # full machine-readable report andon inspect out/weekly.xlsx # integrity-scan a workbook, no spec needed andon init # write a commented starter spec
Or try the sabotaged example in this repo:
git clone https://github.com/gulmezeren2-byte/andon
cd andon/examples/quarterly-report andon run andon.yaml
| Family | Checks | Question it answers | Can FAIL? |
|---|---|---|---|
reconcile | row_count, sum, aggregate, group_sum, keys | Does the report agree with the data it came from? | yes |
internal | total_row, percent_sum, recompute | Does the report agree with itself? | yes |
schema | columns, unique, not_null, allowed_values, date_continuity | Is the data shaped the way everyone assumes? | yes |
excel | integrity | Is the workbook mechanically sound? (#REF!, values typed over formulas, numbers stored as text — including the 1.234,56 flavor — hidden rows, external links) | on error cells |
plausibility | bounds, new_categories, mean_shift | Should a human look at this before anyone trusts it? | no — REVIEW at most |
Full parameter reference with examples: docs/checks.md.
Exit codes are a contract:
| code | meaning |
|---|---|
| 0 | every check passed |
| 1 | at least one FAIL (with --strict: also on REVIEW/ERROR/nothing-ran) |
| 2 | no failures, but REVIEW flags were raised |
| 3 | nothing was verified — a check could not run, or every check was skipped |
| 4 | the spec itself is broken |
As a GitHub Action — one line, and the verdict lands in your job summary:
- uses: gulmezeren2-byte/andon@v1
with: spec: reports/andon.yaml args: "--strict"
Or plainly, in any runner:
- run: pip install andon-verify
Stop a commit before a broken report leaves your machine:
# .pre-commit-config.yaml
repos:
andon is built to be *driven by* agents, not to contain one:
--json emits the full report with stable field names; the exit code alone is enough for a go/no-go decision.skills/verify-with-andon/ ships a skill for Claude Code and compatible harnesses that teaches an agent the discipline: after drafting any analysis, write the spec, run andon, and report the verdict — including the rule that loosening a tolerance to make a check pass must be declared, never silent.pip install 'andon-verify[mcp]' and run andon-mcp to expose three tools to any MCP-speaking runtime: run (execute a spec), inspect (integrity-scan a workbook with no spec), and diff (classify what changed between two versions). The agent gets the same structured verdict a human gets — not prose it has to parse back.// e.g. Claude Desktop / Claude Code mcp config
{ "mcpServers": { "andon": { "command": "andon-mcp" } } }
No local Python? The Dockerfile builds the same server: docker build -t andon . && docker run --rm -i -v "$PWD:/work:ro" -w /work andon.
My working rule: the agent that wrote the analysis also writes the spec, and neither is finished until andon run exits 0 — or a human has signed off on every flag it raised.
pip install 'andon-verify[parquet]'.A CSV source is read as utf-8 by default, and Excel's BOM is stripped so it can't poison the first column name. When a file isn't utf-8 — Turkish exports out of Excel are often ;-separated, encoded cp1254, and write amounts as 1.234,56 — give the source as a mapping instead of a bare path:
sources:
sales: path: data/satis.csv encoding: cp1254 # default: utf-8-sig delimiter: ";" # default: "," decimal: "," # default: "." thousands: "." # default: none
Get the encoding wrong and andon says so, naming the likely culprit — it does not silently mojibake your column names and then "verify" them.
The last two matter more than they look. Without them 1.234,56 is read as text, and a column of text is a column a numeric check cannot examine. andon will tell you that rather than pass — see below — but declaring the punctuation is what makes the column checkable in the first place.
Every report ends with the same line: *a PASS is not an opinion about the analysis; it is arithmetic about these claims.* That obliges the checks to distinguish two things a careless implementation runs together:
So a plausibility check that finds no numeric values says so, instead of reporting that zero values fell outside the bounds:
REVIEW bounds no numeric values in tutar; nothing was compared against the bounds
And when only part of a column is readable, the verdict carries the denominator, because a statement about the half that parsed is not a statement about the data you handed over:
REVIEW bounds tutar stays within bounds, but only read 2 of 4 value(s) of tutar
Every such check reports values_checked, values_total and values_skipped in its evidence, so the coverage is machine-readable too. Values that pandas turns into NaN at read time — n/a, -, #N/A — are counted as skipped like anything else; they are invisible to a naive coercion count, which is exa
ตัดมาแค่ช่วงต้น อ่านต่อใน repo