Spec Driven Development
作者：formulahendry
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
パソコンで動く★ 440MIT14 か月前更新
インストール
Agent evidence
概要
作者による説明（英語の原文）
Offline, read-only tools that verify AI claims against evidence and replay conformance vectors.
PopNx MCPの3つの柱
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
- 利用者の声iレビューはまだありませんレビューは今後のステップで、アカウント機能と一緒に始まります
- 私たちの基本チェックi1項目中1項目に合格公開情報からチェック。コードはまだスキャンしていません
- 利用状況i未計測★ –
できること
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
- 接続方法: パソコンで動く
- トランスポート: stdio
- カテゴリ: その他
インストール
使っているAIアプリを選んで、設定をコピーしてください。
インストールの前に
- 基本チェック：1項目中1項目に合格
- あなたのパソコンで、あなたのユーザーと同じ権限（ファイル、ネットワーク、アプリ）で動きます。
- レジストリには、入力が必要なキーは載っていません。
必要なもの
- PyPIPythonのuvのインストール（uvxコマンドに必要）
どのアプリを使っていますか？
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"agent-evidence": {
"command": "uvx",
"args": [
"agent-evidence-mcp"
]
}
}
}ターミナルでこれを実行します
claude mcp add agent-evidence -- uvx agent-evidence-mcpまたは、設定を自分でコピーする
プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"agent-evidence": {
"command": "uvx",
"args": [
"agent-evidence-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
または、設定を自分でコピーする
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"agent-evidence": {
"type": "stdio",
"command": "uvx",
"args": [
"agent-evidence-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
できること
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
基本チェックi
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月8日にチェック
- ✓ 合格
作者とリポジトリが一致
レジストリ名は、リポジトリを所有するGitHubアカウント probityai で確認済みです
- … 未チェック
今もメンテナンスされている
このリポジトリはまだGitHubから読み取っていません
- … 未チェック
ライセンスがある
このリポジトリはまだGitHubから読み取っていません
- – 対象外
エンドポイントが応答する
これはパソコンで動くため、インターネット上のエンドポイントはありません
- – 対象外
OAuthでサインイン
パソコンで動き、代わりにローカルの設定を使います
- … 未チェック
ツールの説明に隠れた指示がない
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
その他のほかのサーバーとの比較i
- このカテゴリのほかの18372件のうち0%よりスターが多い
- このカテゴリのほかの18372件のうち86%より最近レジストリに公開
- 基本チェックの結果が、このカテゴリのほかの18372件のうち100%と同じかそれ以上
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
よくある質問
Agent evidenceは安全ですか？
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
どんなキーやコードが必要ですか？
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
パソコンで動きますか、それともクラウドですか？
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません（サーバー自体がオンラインサービスを呼び出す場合を除きます）。
今もメンテナンスされていますか？
GitHubリポジトリの最終更新は–、最新バージョン（0.2.5）がレジストリに届いたのは6 日前です。
どのアプリで使えますか？
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにPython (uv)も必要です。
代わりに使えるものは？
同じカテゴリには：Spec Driven Development, Remote Desktop Commander, A1RO — Irish employment tools
代わりの候補
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方：★ GitHubスターi3つの柱：レビュー · チェック · 利用状況i更新＝最新バージョンをレジストリに公開した日i
Remote Desktop Commander
作者：desktop-commander
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
クラウドで動く★ 211一昨日更新
インストール
A1RO — Irish employment tools
作者：A11RO
Irish temp worker cost, public holiday pay and holidays, and SafeHandle certificate checks.
クラウドで動く今日更新
インストール
作者のREADME
READMEを開く
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
agent-evidence-mcp
An offline, read-only MCP server that decides whether a claim about an AI system holds against evidence bytes you supply, and replays the agent-evidence conformance vectors.
It's for agent builders, auditors and platform engineers who want their assistant to check evidence instead of trusting a report.
agent-evidence is the open record format; probityai checks and grades records against it, and this server runs those checks for an assistant.
Install the released package: pip install agent-evidence-mcp==0.2.5. It takes the packages of its own family (agent-evidence-verify, agent-evidence-vectors, agent-evidence-vocabulary, agent-evidence-admission, jcs-admit) as compatible-release ranges, so it installs beside their latest releases, and pins every third-party dependency exactly. The last one carries the jcs-admit and dsse Rust crates as wheels.
Quick start
Add it to Claude Code, then ask the assistant to run the sample claim:
claude mcp add agent-evidence -- uvx agent-evidence-mcp@0.2.5Or install the Claude Code plugin: /plugin install agent-evidence --marketplace probityai/probity.
Or call a tool from Python, with no client installed beyond the package:
uvx --from agent-evidence-mcp==0.2.5 python - <<'PY'import asyncio from mcp.client import Client from mcp.client.stdio import StdioServerParameters
async def main(): async with Client(StdioServerParameters(command="agent-evidence-mcp")) as client: result = await client.call_tool("verify_sample", {"scenario": "contradicted"}) print(result.structured_content["decision"], result.structured_content["reason"])
asyncio.run(main()) PY
It prints:
contradicted selected_span_missing_from_recordA passage the report quotes is missing from the source capture, so the claim is contradicted. Use supported or not_established as the scenario for the other two decisions.
Tools
Nine tools, all read-only, offline and bounded: verify_claim, verify_sample, list_vector_corpora, run_vectors, explain_vector, lookup_term and check_artifact_digest, canonicalize_json and verify_dsse. Nothing is fetched, written or sent.
Status
Version 0.2.5. The tests run every tool through a real MCP client against the shipped corpus, and a mutation check confirms they fail when a tool's output is broken.
Documentation
| page | read it for |
|---|---|
| Tools | every tool, its arguments and what it returns |
| Install | Claude Code, Gemini CLI, Docker and plain stdio |
| Agent guide | a short index for agents using the server |
| Changing the repository | the commands to run and what never to hand-edit |
License
Apache-2.0.