プロトタイプ · プレビュー版:公式レジストリのすべてのサーバーを掲載し、30分ごとに同期しています。レビューとアカウント機能は今後のステップで始まります。
PopNx MCPAIを使う人のためのMCPサーバー · やさしい言葉で解説

andon

作者:gulmezeren2-byteバージョン 0.6.0i★ –iパソコンで動く
レジストリ名io.github.gulmezeren2-byte/andon

インストール

概要

作者による説明(英語の原文)

Deterministic verification for AI-generated analysis: run a spec, inspect or diff a workbook

PopNx MCPの3つの柱

この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。

できること

このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。

  • 接続方法: パソコンで動く
  • トランスポート: stdio
  • カテゴリ: その他

インストール

使っているAIアプリを選んで、設定をコピーしてください。

インストールの前に

  • 基本チェック:1項目中1項目に合格
  • あなたのパソコンで、あなたのユーザーと同じ権限(ファイル、ネットワーク、アプリ)で動きます。
  • レジストリには、入力が必要なキーは載っていません。

必要なもの

  • PyPIPythonのuvのインストール(uvxコマンドに必要)

どのアプリを使っていますか?

上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。

Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます

{
  "mcpServers": {
    "andon": {
      "command": "uvx",
      "args": [
        "andon-verify"
      ]
    }
  }
}

ターミナルでこれを実行します

claude mcp add andon -- uvx andon-verify

Cursorで開く

または、設定を自分でコピーする

プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます

{
  "mcpServers": {
    "andon": {
      "command": "uvx",
      "args": [
        "andon-verify"
      ]
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

VS Codeで開く

または、設定を自分でコピーする

プロジェクトの .vscode/mcp.json に貼り付けます

{
  "servers": {
    "andon": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "andon-verify"
      ]
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。

選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

できること

パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月8日にチェック

  • ✓ 合格

    作者とリポジトリが一致

    レジストリ名は、リポジトリを所有するGitHubアカウント gulmezeren2-byte で確認済みです

  • … 未チェック

    今もメンテナンスされている

    このリポジトリはまだGitHubから読み取っていません

  • … 未チェック

    ライセンスがある

    このリポジトリはまだGitHubから読み取っていません

  • – 対象外

    エンドポイントが応答する

    これはパソコンで動くため、インターネット上のエンドポイントはありません

  • – 対象外

    OAuthでサインイン

    パソコンで動き、代わりにローカルの設定を使います

  • … 未チェック

    ツールの説明に隠れた指示がない

    パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです

その他のほかのサーバーとの比較i

  • このカテゴリのほかの18444件のうち0%よりスターが多い
  • このカテゴリのほかの18444件のうち16%より最近レジストリに公開
  • 基本チェックの結果が、このカテゴリのほかの18444件のうち100%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

andonは安全ですか?

当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか?

レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。

パソコンで動きますか、それともクラウドですか?

あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。

今もメンテナンスされていますか?

GitHubリポジトリの最終更新は–、最新バージョン(0.6.0)がレジストリに届いたのは4 か月前です。

どのアプリで使えますか?

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにPython (uv)も必要です。

代わりに使えるものは?

同じカテゴリには:Spec Driven Development, Remote Desktop Commander, Tethered Trust

代わりの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方:↓ 週あたりのダウンロードi★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i

Spec Driven Development

MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.

作者:formulahendry初期↓ 66/週★ 44014 か月前更新

パソコンで動く

Remote Desktop Commander

Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.

作者:desktop-commander成長中★ 2113 日前更新

クラウドで動く✓ desktopcommander.app

Tethered Trust

Fit, compatibility and recall checks for AI agents before they buy: verdicts, evidence, receipts.

作者:tetheredtrust.comとても新しい今日更新

クラウドで動く✓ tetheredtrust.com

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

andon

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.

Why this exists

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."

The iron rules

andon's behavior is easier to trust because it is constrained. These rules are enforced in code, not just promised here:

  1. Only arithmetic can fail the build. Heuristic checks (distribution shifts, plausibility bounds) can raise a REVIEW flag; the engine will not let them FAIL, even if a buggy check tries.
  2. No silent blessings. Every report ends with what was read, what was skipped, and which worksheets were never touched (the report calls this the honesty block). A PASS covers the listed assertions and nothing else.
  3. A check that can't run is a finding, not a pass. Missing file, unreadable range, text in a numeric column — the run continues, the check is recorded as ERROR, and the exit code is non-zero. "Not verified" must never be readable as "fine."
  4. Read-only by construction. There is no code path that writes to your data.

Install

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.

Quick start

Point andon at data and claims:

# andon.yaml

version: 1

sources: orders: data/orders.csv report: out/weekly.xlsx#Summary

checks:

  • name: no dropped orders reconcile.row_count: left: { source: orders, where: "status != 'cancelled'" } right: { source: report, cell: B4 }
  • name: revenue adds up reconcile.sum: column: revenue left: { source: orders, where: "status != 'cancelled'" } right: { source: report, cell: B6 } tolerance: 0.5%
  • name: totals row is honest internal.total_row: source: report parts: B10:B21 total: B22 tolerance: 0.01
  • name: workbook is mechanically sound excel.integrity: source: report

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

What it checks

FamilyChecksQuestion it answersCan FAIL?
reconcilerow_count, sum, aggregate, group_sum, keysDoes the report agree with the data it came from?yes
internaltotal_row, percent_sum, recomputeDoes the report agree with itself?yes
schemacolumns, unique, not_null, allowed_values, date_continuityIs the data shaped the way everyone assumes?yes
excelintegrityIs 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
plausibilitybounds, new_categories, mean_shiftShould a human look at this before anyone trusts it?no — REVIEW at most

Full parameter reference with examples: docs/checks.md.

Exit codes and CI

Exit codes are a contract:

codemeaning
0every check passed
1at least one FAIL (with --strict: also on REVIEW/ERROR/nothing-ran)
2no failures, but REVIEW flags were raised
3nothing was verified — a check could not run, or every check was skipped
4the 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
  • run: andon run reports/andon.yaml --strict --md verdict.md # --md → a PR-comment-ready verdict

As a pre-commit hook

Stop a commit before a broken report leaves your machine:

# .pre-commit-config.yaml

repos:

  • repo: https://github.com/gulmezeren2-byte/andon rev: v0.6.2 hooks:
  • id: andon args: ["reports/andon.yaml", "--strict"]

Using andon with AI agents

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.
  • Error messages name the sources, columns and sheets involved, so an agent can repair its own spec instead of guessing ("Column 'Revenue' not found. Columns are: region, share_pct, revenue").
  • 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.
  • MCP server. 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.

What andon is not

  • Not a data-quality platform. Great Expectations and pandera validate data *inside pipelines*, in code, usually against a warehouse. andon verifies *claims in finished artifacts* — the report against its source — and treats Excel as a first-class citizen, because that is where analysis actually lives in most companies.
  • Not an LLM evaluator. It doesn't score model outputs; it re-derives numbers.
  • Not a replacement for reading the report. It removes a class of mechanical error so human review can spend itself on judgment.

Limitations, honestly

  • Formula cells need cached values. andon reads the value Excel last calculated. A workbook produced by a library and never opened in Excel/LibreOffice carries no cached values for its formulas; andon refuses to guess and reports exactly that.
  • `where` filters are pandas `query()` expressions. They are expressive, which means a spec can encode the same mistakes as any query. Specs are code — review them like code.
  • Heuristic checks have false positives by design. That is why they cannot fail a build.
  • Scale is untested beyond mid-size files. Everyday operational workbooks and CSVs (hundreds of thousands of rows) are fine; nobody has benchmarked it against 10 GB of parquet. If you do, tell me what broke.
  • Parquet sources need pip install 'andon-verify[parquet]'.

CSV encoding, delimiter, and how numbers are punctuated

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.

What a check does when it can't read the data

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:

  • "I compared them and they were fine" — a PASS.
  • "I had nothing to compare" — never a PASS.

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

冒頭だけを表示しています。続きはリポジトリで読めます

PopNxに聞く