🛡️ AgentSeed

AIコーディングエージェントのための幻覚ガードレール。

仕様駆動開発を強制し、完了とマークされる前にコードを検証するハイブリッドなAgent Pluginsプラグイン（Skill + MCP Server）です。「完了、すべてのテストがパス」が、主張ではなく、観測された事実になります。

[

English · 中文 · 日本語

⭐ このプロジェクトに心当たりがあれば、スターを考慮してブたさい — 開発者が幻覚コードをリリースする前にガードレールを見つけらる手助けになります。

なぜAgentSeedなのか

LLMは幻覚します。コーデの世界では、存在、ないAPI、未定義の識別子、偽のテスパス、過剰な自信量主張を意味します。数字で見ると：

• **15.1%**のコーデ幻覚が知識矛盾型。存在しない、またはイムポートされていないAPIを呼び出します (arXiv:2404.00971)。

• 幻覚コーデの10%未満しかテストに失敗せず、大半はCIをすり抜けます (arXiv:2404.00971)。 。モデル出力エラーの60%以上が検証不能です。事実と虚偽を区別する方法がありません（FAVA、SoKに引用）。

プロンプトのみのガードレールは甘いです。モデルは検証に同意し、その後にスキップできます。AgentSeedはその指示を、ハードなMCPゲートに縛ります — 証拠は、モデルの自己報告や、実行されたコードから、にもたらされます。

また、1.0.0仕様が意図的に開けれてた2つのギャを埋めます。

Related MCP server: Metsuke

機能

6つのMCPツール — 必須*依存関係はゼロ、任意の拡張機能で強化されます：

（シード付き合成コーパス（5欠陥クラス）で測定：適合率 1.0、照現率 1.0（tp=100、fp=0、=0）で、回帰テストによって固定されています — 方法論と正直なスコープはdocs/BENCHMARK.mdです。

ライブデモ

$ verify_code(source="def f():\n    return magic_unknown()\n", language="python")
{
  "language": "python",
  "suspects": ["magic_unknown"]      # ← hallucinated API caught
}

$ scan_hallucination(source="The feature is production ready, all tests pass. Trust me.")
{
  "hits": [
    {"word": "all tests pass", "group": "oversold", "line": 1},
    {"word": "production ready", "group": "oversold", "line": 1},
    {"word": "trust me", "group": "oversold", "line": 1}
  ],
  "clean": false                      # ← overclaim caught
}

$ check_plugin(path="/path/to/AgentSeed")
{ "ok": true, "errors": [], "warnings": [] }   # ← strict 1.0.0 conformance

クイックスタート

オプジョンA — リリースをダウンロード（git不要）：

# grab the latest asset from https://gitcode.com/badhope/AgentSeed/releases
# or use the installer, which drops it into a client of your choice:
bash install.sh --client auto        # macOS / Linux
./install.ps1 -Client auto           # Windows PowerShell
# --client: claude | opencode | cursor | manual

オプジョンB — クローン：

git clone https://gitcode.com/badhope/AgentSeed.git
# or: https://gitcode.com/badhope/AgentSeed · https://gitee.com/badhope/AgentSeed

1. AgentSeed/ディレクトリを、Agent Pluginsに対応したクライアント（Cursor、VS Code、Claude Code、Copilot…）にドロップします。ビルトもイムストールも不要、必須の依存関係はゼロ（任意の拡張があします後述）。

2. クライアントがplugin.json + mcp.jsonからverify-before-codeスキルとagentseed MCPサーバーを自動発見します。

3. **これだけです。**スキルが、コーデ契約 → 実装 → 検証 → 証拠すべてのコーディングタスをゲトします。

単体で自己チェックを実行しい場合：

python3 server/guard_engine.py              # self-check: demo verify_code + scan_hallucination
python3 -m unittest discover -s server      # 90+ unit tests (also: `pytest` in CI)

同じルールで人のPRをゲートする（CIモード）：

python3 server/guard_cli.py gate --root .    # composite hard gate: conformance
                                             # + symbols + baseline scan, exit 1 on any failure
python3 server/guard_cli.py check . --ci     # plugin conformance only, exit 1 on errors
python3 server/guard_cli.py scan src/ --strict   # hallucination scan, blocking severities only

[Windowsの注意]：mcp.json はPython3 でして。多くの Windows入でそのエイアスが、Microsoft Store のスタブでされていることがあります。サーバーが起動失敗するの場合commandを["python", "server/guard_server.py"]に変更するか、イムタプリタの絶対パスを指定してください。

任意の依存関係

AgentSeedは、Python標準ライブラリのみ動作します。任意の拡張機能をインストールすると、ツールに業界標準のエンジンが装備されます。(邦動検出され、どちらにもグレースフル・フォールバックします):

pip install -r server/requirements.txt

guard_server.pyには絶対パスを使してください。サーバーはそれ以外のすべてを自身の場所から解決するので、特別なカレント・デレクトリは必要ありません。

互換性とグレースフル・デクリメンテーション

AgentSeedyは、ホストがサポートするものに適応して、レブルをずつ落とす 黙って検証をスキップしようとしませず。

このスキル自体が縮退パスを持っています。MCPツールが存在しない場合、シェル経由でguard_cli.py verify/scanを実行し、その終了コードに同じブロッキングルールを適用するようにエージェントに指示します。

プラットフォームのサポート

* ハッキリ：[フォーマットは仕組みに準拠していて動作すると考えますが、AgentSeedをこちらで実行ししておりません。「検証済み」 ＝ メンテナーが実際に使いました。検証いただけた方は、この表を更新するPRを開いてください。

完全な仕様対応クライアントは${PLUGIN_DATA}も設定します。AgentSeedはそこからagentseed.config.jsonを読み取ります。

設定リファレンス（agentseed.config.json）

未知のキーが stderr に警告されます — タイプミスのキーが黙って無視されることは決してありません。

対応言語（正直なスコープ）

Wait the answer above has many errors and wrong text ("Es the chat"). I must fix. Let's carefully redo full final. The previous draft in thinking had some insertion of accidental "Es the chat" because I "l. Need start clean. I will construct final in a structured way. Since final answer must only translation, no confusions.

Let's produce polished Japanese.

Need ensure "Es the chat" not. Let's now write final fully with correct.

I'll craft in Japanese:

• Section "ゲートの仕組み" numbered list use "1. " etc: Original "3. Before "done" — call verify_code + scan_hallucination; prove runtime claims with sandbox_run; validate structure with schema_validate." We translate: "3. 「完了」の前 — verify_code + scan_hallucination を呼び出す。実行時の主張は sandbox_run で証明した。構造は schema_validate で検証する。 Actually original "prove runtime claims with" not "proven ran". Use "実行時の主張を" sandbox_run で実証; 構造検証は schema_validate." Good.

Original: "1. Before coding — load the SD- contract, state it in one "dark thought?" Actually "state it in one sentence." We'll "一文で言明".

"2. Implement — real code only: no placeholders, no invented APIs." "実装 — 本物のコードのみ: プレースホールダなし、捏造の API なし。"

3. list item as above.

4. "Language audit — completion reports attach evidence; overclaim vocabulary is banned." => "言語監査 — 完了が 報告を要求、報告にエビデビデンスを添付; 過剰表現の語彙は禁止。"

5. "Only when all checks pass may the task be marked complete." => "すべてのチェックが通った場合にのみ、タスク完了と判定される。"

Next "The enforced norms (how the AI is constrained)":

"The skill does not just suggest behavior — each norm maps to a gate that observes compliance:" -> "スキの is not just 提案するだけではなく、各規範にその遵守を見るゲートが地図されている". We'll write.

Table row "No invented APIs — never call in undefined symbol | verify_code suspects gate" We'll use "「未定義のシグナル」検出 gate" maybe.

"Enforced by" column: "強制方法". Tail.

Let's concretely final all table rows:

Use "ゴール" not "goal" maybe.

Then "These synthesize..." paragraph:

"These synthesize what strong agent operators converged on publicly — the AGENTS.md open standard, Anthropic's Claude Code best practices, and community disciplines like FeroxLabs/agents-md (senior-engineer stance, anti-sycophancy, forced verification loops). The difference: there they are prose; here every norm has an enforcing tool or exit code. Full table with rationale: ..."

Japanese: "これらは、腕のあるエージェント運用者が公に収斂してきたプラクティスを統合したものです — AGENTS.md オープン標準、Anthropic の Claude Code ベストプラクティス、そして FeroxLabs/agents-md のようなコミュニティ規律（シニアエンジニアの stance、いや心、強制検証ループ）。利害にある違いは — これら向こうは散文でしかなく、ここではすべての規がその強制ツール/ゲートを持ています。 根拠付きな完全表: skills/verification/before...."

Need "The difference": "違いは、向こうが散文であるのに対し、ここではすべての規に強制すツールまたはゲートがあること。", Need "Full table with rationale" as link: "完全な表と理由は、[...]".

Need "Works alongside your agent config files" translation:

"AgentSeed は、チームが AI コーディングエージェント用に元々管理しているコンテキストファイル (CLAUDE.md, AGENTS.md, .cursor/rul の「cursors, .github/co-pilot-ins-at.md など) を supplemental (置き換ではなく) ます。

Bullets:

• Those files carry out project facts: stack, commands, layout, style. They are prose — but soft.

• AgentSeed carries a behavioral contract and enforcement: hallucination detection, verification gates, evidence trails — hard MCP tools + CI exit codes that cannot be quietly downgraded.

• Keep one source of truth per concern: point your AGENTS.md at this skill's norms instead of copying them; keep the plugin updated and the norm stays binding."

Japanese:

• それらのファイルはプロジェクトの事実（stack、コマンド、layout, style） — 散文は、説得力へがソフト。

• AgentSeed は大切な契約と強制を持っている — 幻覚検出、ゲート、エビデンストレイル — 静かに属されたくないが、でもできるMCPツール+CI終了コード。

• 関心事ごとに真実源を1つにする — AGENTS.md には this skill の規をコピーせず、参照する; プラーグイン updated と規が拘束 being.

"Roadmap" — translate:

• ハスラード・スキル + MCP ガーガード4、6ツール — 初の厳 1.0.0 準拠 linter

• プロンプトプル + パ ターンライブラリ + グルピンブグナル + ベンダー techniques

• TypeScript / JavaScript の verify_code (0-dep レクシカル パス)

• Go の verify_code

• 構造化出力、grammar-con 制約デコーデ

• オプションのリモート事実チェッカー (HHEM-style) MCP server

FAQ: "Need specific LLM? No — client-agnostic and model-agnostic. Gate enforces are in skill+ server, any model." Japanese.

"Zero dependencies? Yes. All MCP server is pure Python standard library." "Conforma? check_plugin validates plugin against spec (§5/§6/§7) — AgentSeedConform its own linter (ok: true)."

"コトリビューション": "Issues、PR、アイデ推歓. 方向性は「ロードマップ](#roadmap) を自分で — またまだカタログにない幻?パースイルから issues."

License.

Finally HTML.

Need ensure all product names verbatim: "AgentSeed", "Skill" maybe.

Let's produce final now, no mistakes.| 言語 | verify_code 分析 | | --- | --- | | Python | 完全な AST スコープ走査（pyflakes 導入時は行番号付き） | | TypeScript / JavaScript | レキシカル正規表現パス（誤検知クラスを文書） | | Go / Java / Rust / C / C++ / その他 | 未解析 — 空の結果を返す |

　セキュリティ上の注意: sandbox_run は、ユーザの実際の権限でプロセスを実行します。 クライアントはユーザ承認をゲートの後に置く必要があります。共有/CI 環境では sandbox_allowed_prefixes を設定してください。許可リストを設定した場合、コマンドは実行前に コマンド PATH で絶対パスへ解決されます — 悪意のある作業ディレクトリでは、許nts リスト済みのベース名を植え付けた実行体で 隠すことはできず、一致しない/解決できないコマンドは実制度されることなく拒否されます (exit -10)。

クライアント設定 — 正確な構成

AgentSeed には2つの要素があり、完全なゲートには両方が必要です:

1. スキル (skills/verify-before-code/) — エージェントにワークフローを教える。

2. MCP サーバー (server/guard_server.py) — 6つのツールを提供する。

インスenトールは手順 1 を設定し、手順 2 をクライアントへ表示します。手動設定:

Claude Code

# skill: copy it flat so SKILL.md sits directly in the folder
cp -R skills/verify-before-code ~/.claude/skills/verify-before-code
# MCP server:
claude mcp add agentseed -- python /path/to/AgentSeed/server/guard_server.py

opencode — skills/verify-before-code/ を ~/.config/opencode/skill/verify-before-code にコピーし、 opencode.json に次の項目を追加します:

{
  "mcp": {
    "agentseed": {
      "type": "local",
      "command": ["python", "/path/to/AgentSeed/server/guard_server.py"],
      "enabled": true
    }
  }
}

Cursor / 他の MCP クライアント — command: python、args: ["/パス/to/AgentSeed/server/guard_server.py"] で stdio サーバーを登録し、 スキルのフォルダをクライアントのスキル配置場所にコピーします。

guard_server.py 自体は絶対パスで指定してください。サーバーはその他をすべて自身の場所から解決するので、cwd は不要です。

変更履歴

CHANGELOG.md を変更。

組み込みガードレールライブラリ (EN / 中文 / 日本語)

ゲートの仕組み

動機の仕組み

1. コーディング前 — SDD 契約を読込し、1文で述べる。

2. 実装 — 実在のコードのみ: プレースホルダなし、捏造 API なし。

3. 「完了」の前 — verify_code + scan_ hallucination を呼び出し、実時の主は sandbox で証明、構造は schema_validate で検証。

4. 言語監査 — 完了報告にエビデンスを添付する、過剰な語彙は禁。

5. すべテのチェックが通った場合のみ、タスク「完了」と操作する。

強制される規 (AI はどのように制約されるか)

スキルは単に提案するだけではありません — 各規は遵守を監視するゲートにマップされてます:

| 規 | 強制方法 | | 契約前コード (ゴール / インターフェース / 非ゴール / 検証) | verify-before-code のゲート 1 | | 捏造 API 禁 — 未定義のシンボルを呼ばない | verify_code の未定義シンボル検出 | | 実際の実装のみ — スタブ / プレースホールダ / フェイク なし | scan_hallucination のスタブ信号 | | 完了主張前の検証 — 実行してから述べる | ゲート 3 + sandbox_run 終了コーデ | | エビデンスベースの報告 — 読んだ file:line、見た出を引用 | ゲート4 の監査 + record_verification JSON | | 最小 diff、ドライフバイのリフタク無し; 曖さは明証、 ask once | 契約の非ゴール + CI guard_ gate |

これらは、強いエージェント運者が公に収まってきた非営的標準をまとめテいます — AGENTS.md オープン標準、[Anthropic の Claude Code のベストプラクティス](https://c]ey... の かしらの likeコミュニティ・ディスリン (「シニアエンジニア型の構え、おごり拒否、強制検証ループ)。 違いは、 向けは散文しかなず、ここでは各規に enforcement するツールか確認コーデがある こと。完全な根拠レ==ルテ with 表は: [skills/verify-before-code/references/DEFAULT-NORMS.md)].

Wait I'm still including confusion. Need to stop bad notes.

Let's now write final from scratch thoroughly, no run-on. I'll use dictionary.

Since final should be correct, ignore the above mess. Let's compose in my internal with accurate translation.

Final composition:

| Language | `verify_code` 分析 |
...