Skip to main content
Glama

DCL Evaluator

Version License Patent Platform MCP Offline LLMs dcl-evaluator MCP server

AIエージェントのための暗号学的監査証跡。Leibniz Layer™搭載

AIエージェントが行うすべての意思決定を、封印し、検証し、監査可能にします。

DCL Evaluatorは、AIエージェントの意思決定のための暗号学的検証プロトコルであるLeibniz Layer™の最初の実装です。LLMを活用したあらゆるシステムに、決定論的で改ざん検知可能な監査証跡をもたらします。


DCL Evaluatorを選ぶ理由

AIエージェントは意思決定を行います。それらの決定には、法的、財務的、評判に関わるリスクが伴います。しかし、ほとんどのAIシステムはブラックボックスであり、何を決定したのか、なぜ決定したのか、あるいは決定後に改ざんされていないかといった記録が残りません。

DCL Evaluatorは、暗号学から借用したシンプルな原則、すなわちすべての決定をハッシュチェーンにコミットすることでこれを解決します。過去の記録を少しでも変更すれば、チェーン全体が無効になります。数学的な完全性の証明であり、信頼は不要です。


Related MCP server: Agent Audit Trail MCP Server

主要機能

  • SHA-256ハッシュチェーン — すべてのエージェントのアクションを暗号学的に封印

  • マークルツリー監査証跡 — 設計上、改ざんを検知可能

  • 決定論的ポリシーエンジン — 入力が同一であれば決定も同一となり、100%再現可能

  • ドリフト検知 — 統計的なZ検定により、コンプライアンス違反になる前に行動のドリフトを捕捉

  • マルチLLMサポート — Claude、GPT-4、Grok、Gemini、DeepSeek、Ollama(ローカル、エアギャップ環境)

  • MCPサーバー — Model Context Protocolを介して、あらゆるエージェントを数分で接続

  • コンプライアンスレポート — 改ざん検知可能なPDFエクスポート、規制当局への提出に対応

  • オフライン対応 — 完全にエアギャップ環境で動作し、データがインフラ外に流出することはありません


💳 x402による監査ごとの支払い

DCL Evaluatorはx402支払いプロトコルをサポートしています。 AIエージェントは、APIキーなしで、Base上のUSDCとHTTP 402を使用して自律的に監査をリクエストできます。

エンドポイント: https://x402.fronesislabs.com ネットワーク: Base Mainnet (eip155:8453)

ツール

価格

マージン

クイックスキャン

$1 USDC

99%

標準監査 (4モデル)

$5 USDC

99.4%

詳細監査 + PoC

$15 USDC

99.3%

HTTPを話せるエージェントであれば、人間を介さずに暗号学的監査を支払い、受け取ることができます。


MCP経由での接続

{
  "mcpServers": {
    "dcl-evaluator": {
      "url": "https://mcp.fronesislabs.com/sse",
      "headers": {
        "x-api-key": "your-key"
      }
    }
  }
}

4つのツールが利用可能です:

ツール

説明

dcl_commit

エージェントのアクションをハッシュチェーンに封印する

dcl_verify

チェーンの完全性を検証する

dcl_get_chain

完全な監査証跡を取得する

dcl_report

コンプライアンスレポートを生成する

ヘルスチェック: https://mcp.fronesislabs.com/health


ダウンロード

→ 最新リリース — v1.2.0

デスクトップアプリ(Windows)。Wails + Go + React。オフラインで動作します。


コンプライアンス対応

組み込みのポリシーテンプレート:

DEFAULT · EU AI ACT · GDPR · FINANCE · MEDICAL · RED TEAM


Leibniz Layer™

DCL Evaluatorは、AIエージェント経済のための暗号学的検証レイヤーである**Leibniz Layer™**を実装した最初の製品です。

数学者、論理学者であり、決定論的推論の先駆者であるゴットフリート・ヴィルヘルム・ライプニッツにちなんで名付けられました。

「すべての決定、すべてのアクションを決定論的に封印し、改ざんを検知可能にし、監査可能にする。」

leibniz.fronesislabs.com


リンク


© 2026 Fronesis Labs · Leibniz Layer™, DCL Evaluator™ — 特許出願中 · ソース利用可能ライセンス

Related MCP Connectors

Related MCP Servers

  • A
    license
    A
    quality
    C
    maintenance
    Enables AI agents to sign decisions with post-quantum cryptographic proofs and maintain secure audit trails for compliance. It provides tools for stamping events, verifying chain integrity, and exporting audit data across industries like finance and healthcare.
    4
    57 npm
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    Provides an immutable, tamper-evident audit trail for AI agents, enabling event logging with cryptographic chaining, search, verification, and statistics.
    3
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Signed receipts for agent actions and a read-only-allowlist decision gate, as an MCP server. Ed25519, plus ML-DSA-65 when the post-quantum backend is available. gate_decision returns ALLOW, DENY or ESCALATE from action names and does not observe or block anything. verify_receipt takes expected_kid to pin which key signed. Seven tools.
    7
    Apache 2.0