mcpField
C
Concordance

Concordance

リモート
github.com/matharrismma科学・教育11 週間前に更新
リポジトリ

Concordance について

Concordanceは、主張を検証し、再確認できる根拠を残したい人やエージェント向けの決定論的検証エンジンです。判定、推論の経路、コンテンツアドレス方式のシールを返し、検索や聖書研究の機能も備えています。

主な機能

  1. 01決定論的な主張検証
  2. 02判定と推論経路の提示
  3. 03コンテンツアドレス方式のシールと追記型台帳
  4. 04検索、参照、定義
  5. 05たとえ話の照合と次の行動の提案
  6. 06聖書の読解と語句研究

活用シーン

  1. 01数学や分野固有の主張の確認
  2. 02判定の再検証可能な証拠の保存
  3. 03資料の検索と出典の確認
  4. 04聖書と相互参照の研究

MCP 対応

ConcordanceはMCPサーバーを提供し、検証、検索、状況に応じた案内、個人記録、聖書研究のツールをクライアントに公開します。回答は検索または検証され、引用とシールが付与されます。

設定

リモートサーバーはインストール不要です。クライアントを選んで設定をコピーするか、ワンクリックで導入できます。

エンドポイントhttps://narrowhighway.com/mcp
インストールコマンドをコピー
Claude CodeTerminal
Cursor.cursor/mcp.json
VS Code.vscode/mcp.json
Claude Desktopclaude_desktop_config.json
Windsurf~/.codeium/windsurf/mcp_config.json

コマンドはターミナルで実行し、JSON は各クライアントの MCP 設定に貼り付けて再起動します。認可が必要なサーバーは初回接続時にログインを求めます。

ツール

93
パラメーター型必須説明
modeenumいいえMATH 形式:equality | inequality | derivative | integral | limit | solvederivative | equality | inequality | integral | limit | solve
paramsobjectいいえMATH 形式:等式の場合は {expr_a, expr_b, variables} など
stepsarrayいいえDOMAIN 形式:[{id, domain, spec}] — spec はそのドメインのパケットです
sealbooleanいいえ再検証可能な封印を作成します(デフォルトは true)。

詳細

Concordance 2.0

決定論的な検証エンジンです。真実を確かめ、再検証できる証明書をお渡しします。判定、手順を追った推論、そして永続的なコンテンツアドレス付きのシールです。答えではないものを取り除き、残ったものがそれだけで成り立つようにします。

時計のように再構築しました(時計職人の規律にならって)。範囲が限定され、数えられる一つの機構。能力のある人なら誰でも整備でき、機械として誠実です。正確さそのものが完成度です。詳しくは docs/V2_DEFINITION.mdをご覧ください。 初めての方は、まず docs/ARCHITECTURE.mdをご覧ください。初めての方向けの案内図です(すべての数値に日付が付き、コードから導き出されています)。

基盤となる7つのプリミティブ

すべての回答は (verdict, trail, seal)、つまりそれぞれ独立して検証できる3つの要素で構成されます。

  1. Claim — 構造化された主張 {domain, spec}(またはルーターが解決するテキスト)
  2. Verifier — 純粋な決定論的関数 spec → verdict + worked trail(I/O なし、LLM なし)
  3. Verdict — PASS | REJECT | QUARANTINE と手順を追った計算(除外の経緯)
  4. Seal — {claim, verdict, trail}のコンテンツアドレス付き(SHA-256)記録
  5. Ledger — シールの追記専用ハッシュチェーン
  6. Ranker — keeping に対する IDF/全文検索
  7. Surface — 共有基盤上の表面(secular な到達範囲/witness)

評価基準は、再現性、公開ベンチマーク(docs/BENCHMARK.md)における誤検知ゼロ、再検証可能性です。

ひとつの基盤、ふたつの表面

基盤は聖書(FOUNDATION.md)です。中心にあるのはキリストです。この基盤から、エンジンは2つの方法で世界に働きかけます。世俗向けの .com(到達範囲)と、信仰を明示する .org です。エンジンも基盤もひとつで、設定によって切り替えます。分岐はありません。

from concordance import EngineConfig
EngineConfig("secular").identity   # the reach — no religious wording
EngineConfig("witness").identity   # the witness — the foundation named

実行方法

PYTHONPATH=src python -m concordance serve          # the .com reach (secular) — API + site, same-origin
PYTHONPATH=src python -m concordance serve --surface witness   # the .org witness face

次に http://127.0.0.1:8000/ を開いてください。主張を持ち込めば、証明書を受け取れます。(データである keeping、WEB Bible、Strong's は tools/migrate_*.py で生成され、gitignore の対象です。データがなくてもエンジンは動作しますが、検索できる内容が少なくなります。)

表面 — メニューではなく、問いかけによってたどり着く

  • コンソール(/)— 何でも話すか入力できます。keeping が答えを返し、その経緯を落ち着いたトレイル(入り口 → 検証器 → シール → 出典)として表示します。ページで読むことも、オペレーター自身の声をクローンした音声で聞くこともできます。 危機への対応を最優先し、何も保存しません。
  • たとえ話(/parable.html、および WALK の入り口)— 状況を伝えると、その状況に形が合うキリストのたとえ話がひとつ提示されます。物語は一字一句そのまま、キリストが説明を加えている場合はその説明も添え、次の一歩もひとつ示します。見つけて出典を示すもので、生成はしません。合うたとえ話がひとつもない場合は、正直に何も示しません。
  • 閲覧室(/books.html)— 無料のライブラリです。書籍を全文読むことも、自分の .epub を開くこともできます。.epub はすべてブラウザー内で読み込まれ、アップロードされません(何も保存しません)。

エージェント向け — MCP(エージェントのための教会)

このエンジンは MCP サーバーでもあります(python -m concordance mcp)。5つの入り口があり、回答はすべて検索・検証・出典提示・シール化されます。生成はしません。

  • CHECK — verify · audit · seal_fetch · find_verifier:主張を入力すると、判定、手順を追ったトレイル、シールが返ります。
  • FIND — search · card_get · lookup · define:ひとつの地図、ひとつの検索結果、そして出典そのものを返します。
  • WALK — ask · discern · parable · coach_next:状況を入力すると、次の一歩がひとつ返ります。進む道、状況に合うたとえ話、登場人物の言葉を示します。
  • KEEP — identity_create · study_create · decks:あなたのデバイス上で、あなた専用の鍵が作られます。あなたのデッキと証明書を管理できます。
  • WORD — read_passage · word_study · cross_references:聖書を深く読み解きます。

ステータス

2.0 エンジンはエンドツーエンドで構築され、稼働中です(narrowhighway.com/.org/.tv)。フロア 7/7、導出の堀(誤検出 0)、改ざんを検知できる台帳+先例オーバーレイ、77 のルーティング可能なドメインにまたがる93 の検証モジュール、証人オーバーレイ(神学/証人/聖典/正典)、共有コーパス+ランカー(88 万枚以上のカード)、聖書参照の解決+原語の語句研究、軸グリッド、Console+寓話レジスター+Reading Room、MCP サーバー(100 以上のツール)、主権型 HTTP API、そしてサイトを備えています。400 のテストファイルがあり、デプロイゲート(ベンチマーク、ライブアッセイ、フロントドア、再現率)はすべてのプッシュで実行され、誤検出ゼロを維持し、回帰があればロールバックします。ドメインルーターはモデルに依存せず、測定されています(直交化された基底。ルーティングのクロストークと不変性は tools/dispatch_probe.py と tools/hodge_probe.py で追跡されます)。ゲート付きの集団知能レイヤー(スティグマジー、クォーラム、群れ、長老制、生理機能、抑制)と、アラインメントゲート(合意に応じた階層型の保持――オカルトは明示的な場合のみ、その他の宗教/哲学は参照可能)がその上で動作します。詳しくは docs/WORLD.md をご覧ください。主権型で、標準ライブラリを優先しています。重量級の依存関係(sympy/scipy/numpy)は任意で、必要時に遅延読み込みされます。

1.0 は凍結されています(Lighthouse リポジトリの v1.0-frozen)。それは、フロアを教えてくれた形です。

コメント

MCP は初めてですか?

プロトコルの概要から最初のサーバーの導入まで、よくある疑問にまとめて答えます。

AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。