An agent can act, but it cannot prove what it did. We build the layer that fixes that: signed receipts for every action, approval, handoff and retry, a gateway that checks identity and policy before an agent runs, and memory an agent cannot quietly rewrite. We spun out of SRI International and build on its DARPA-funded provenance research. We are in New York and Paris, in person.エージェントは行動できるが、自分が何をしたかを証明できない。私たちはそれを直す層を築いている。あらゆる行動・承認・引き継ぎ・再試行への署名付き受領証(レシート)、エージェントが動く前に身元とポリシーを検査するゲートウェイ、そしてエージェントが黙って書き換えられないメモリ。私たちは SRI International からスピンアウトし、その DARPA 出資の来歴(プロビナンス)研究の上に築いている。ニューヨークとパリで、対面で働いている。
What Zerker Labs doesZerker Labs がつくるもの
Treeship · portable trust receipts for agent actionsTreeship · エージェント行動のための持ち運べる信頼レシート
Treeship turns any action an agent takes into an Ed25519-signed, chained receipt that anyone can verify offline, against their own trust roots, without trusting the agent or the vendor that ran it. It ships as a CLI, TypeScript and Python SDKs, MCP and A2A bridges, and a Claude Code plugin, with 26 documented integrations. Open source under Apache 2.0; 65 releases since March 2026.Treeship は、エージェントのあらゆる行動を Ed25519 署名付きの連鎖した受領証に変える。誰でも、自分の信頼ルートに対してオフラインで検証でき、エージェントにも、それを動かしたベンダーにも、信頼を置く必要がない。CLI、TypeScript と Python の SDK、MCP と A2A のブリッジ、Claude Code プラグインとして提供し、26 の統合を文書化している。Apache 2.0 のオープンソースで、2026 年 3 月以来 65 リリース。
Zerker Gateway · one door for every agent callZerker Gateway · すべてのエージェント呼び出しに、ひとつの扉
A single Apache-licensed Go binary in front of your agent traffic. Identity, policy, credentials, rate limits and payment are checked before the agent runs, and every call leaves a receipt. Self-host it with your OIDC provider and Postgres, or let us run a hosted tenant. It never holds a key and never calls home.エージェントのトラフィックの前に置く、Apache ライセンスの Go バイナリひとつ。身元、ポリシー、資格情報、レート制限、支払いを、エージェントが動く前に検査し、すべての呼び出しが受領証を残す。自分の OIDC プロバイダと Postgres でセルフホストするか、私たちがホストするテナントを使う。鍵を保持せず、外部に通信もしない。
Zerker Reason · exact-action authorizationZerker Reason · 正確な行動の認可
Company rules, enforced before an agent acts. Reason compiles policy into deterministic checks on the exact action an agent is about to take, so the decision is made by a rule you can read, not by a model that might be persuaded, and the outcome is recorded in the receipt.会社のルールを、エージェントが行動する前に強制する。Reason はポリシーを、エージェントがまさに取ろうとしている正確な行動に対する決定的な検査へとコンパイルする。判断は、説得されうるモデルではなく、読めるルールが下し、その結果は受領証に記録される。
ZMem · governed memory for agentsZMem · エージェントのためのガバナンス付きメモリ
Local-first memory where agent-proposed facts are reviewed before they enter context, and verified state travels across agents and machines. MIT licensed. The outcome: an agent that remembers what was approved, not what it decided to believe.エージェントが提案した事実を、コンテキストに入る前にレビューし、検証済みの状態をエージェントやマシンをまたいで持ち運べる、ローカルファーストのメモリ。MIT ライセンス。結果として、エージェントは「信じることにしたこと」ではなく「承認されたこと」を覚える。
What makes Zerker Labs differentZerker Labs の違い
Signed receipts, not logsログではなく、署名付き受領証
Observability tools such as LangSmith and Langfuse store unsigned traces in a vendor database; the vendor and the agent can both edit the record. A Treeship receipt is signed by the actor at the moment of the action and chained to the one before it, so a single flipped byte fails verification. The record is evidence, not a log line.LangSmith や Langfuse のような可観測性ツールは、署名のないトレースをベンダーのデータベースに保存する。ベンダーもエージェントも記録を編集できる。Treeship の受領証は、行動の瞬間に行為者が署名し、ひとつ前の受領証に連鎖するため、1 バイトの改変でも検証に失敗する。記録は、ログの一行ではなく証拠だ。
Verification needs no server and no account検証に、サーバーもアカウントもいらない
npm install -g treeship, then treeship init. No signup, no hosted service in the loop. Verification runs in the CLI or in a WASM verifier in the browser, against trust roots you pin. Sigstore signs software artifacts; Treeship signs agent actions, approvals, handoffs and retries, and verifies them wherever the receipt is.npm install -g treeship のあと treeship init。サインアップも、途中にホストされたサービスも不要。検証は CLI か、ブラウザ内の WASM 検証器で、自分が固定した信頼ルートに対して実行される。Sigstore はソフトウェアの成果物に署名する。Treeship はエージェントの行動、承認、引き継ぎ、再試行に署名し、受領証があるところならどこでも検証する。
Nothing phones home外部に通信しない
The CLI makes no network call during init, attest or verify. There is no telemetry, opt-in or opt-out. The Gateway data plane is a binary you run that holds no credentials and makes no call home, whereas a hosted proxy such as Cloudflare AI Gateway routes your agent traffic through its cloud by design.CLI は init、attest、verify の間にネットワーク通信を行わない。テレメトリは、オプトインもオプトアウトも存在しない。Gateway のデータプレーンは、資格情報を持たず外部に通信もしない、あなたが動かすバイナリだ。一方、Cloudflare AI Gateway のようなホスト型プロキシは、設計上エージェントのトラフィックをそのクラウドに通す。
A retry, an approval, a halt are receipt kinds再試行も、承認も、停止も、受領証の種類だ
OpenTelemetry spans carry no signature and no verdict. Treeship exports to OpenTelemetry rather than replacing it, and adds what a span cannot hold: 151 signed wire types across 38 CLI commands, including scoped human approvals, agent-to-agent handoffs with liveness challenges, a kill switch, and retries that record which attempt they retry and why.OpenTelemetry のスパンは署名も判定も持たない。Treeship は OpenTelemetry を置き換えるのではなく、そこへエクスポートしつつ、スパンには収まらないものを加える。38 の CLI コマンドにまたがる 151 の署名付きワイヤ型——範囲を限定した人間の承認、生存確認付きのエージェント間引き継ぎ、キルスイッチ、そして「どの試行を、なぜ再試行したか」を記録する再試行。
We test our own verdicts adversarially and publish the failures自分たちの判定を敵対的にテストし、失敗を公開する
A verifier that returns green for the wrong reason is worse than one that crashes. Our verdict-invariant suite tries to reach a green verdict across eight commands with flipped payloads, stripped signatures, unknown keys and reordered chains. It has found three false greens in four months; each shipped as a public advisory with a regression test.間違った理由で緑を返す検証器は、クラッシュする検証器より悪い。私たちの判定不変性スイートは、改変されたペイロード、剥がされた署名、未知の鍵、並べ替えられた連鎖で、8 つのコマンドにわたり緑の判定に到達しようと試みる。4 か月で 3 件の「偽の緑」を見つけ、それぞれを回帰テスト付きの公開アドバイザリとして出荷した。
Built on SRI's provenance researchSRI の来歴研究の上に
Zerker Labs spun out of SRI International, the lab behind the computer mouse, Siri and much of the early internet. Our platform draws on SRI's OLIVE technology, developed in part through the DARPA SemaFor and MediFor programs. Read SRI's announcement →Zerker Labs は、コンピューターマウス、Siri、初期のインターネットの多くを生み出した研究所、SRI International からスピンアウトした。私たちのプラットフォームは、DARPA の SemaFor と MediFor プログラムを通じて一部開発された SRI の OLIVE 技術を活用している。SRI の発表を読む →
Who uses Zerker Labs誰が Zerker Labs を使うか
- Platform and infrastructure teams running coding agents in production, on Claude Code, Codex, Cursor or their own MCP servers, who need a record of what the agent did that survives an audit.Claude Code、Codex、Cursor、あるいは自前の MCP サーバーで、コーディングエージェントを本番運用するプラットフォーム/インフラチーム。監査に耐える「エージェントが何をしたか」の記録を必要とする人たち。
- Teams building agentic commerce and payments, where an agent must prove it was authorized before it spends, following the Mastercard Verifiable Intent pattern.エージェント型コマースや決済を構築するチーム。Mastercard の Verifiable Intent パターンに沿って、エージェントが支出する前に認可されていたことを証明しなければならない。
- Enterprises and public-sector programs with mission-critical or regulated workloads, where an unverifiable output is a discarded output.ミッションクリティカルまたは規制対象のワークロードを持つ企業や公共部門のプログラム。検証できない出力は、捨てられる出力だ。
- Builders of agent frameworks and tools who want signed provenance without running a service, for example Vigilis, an agentic QA tool that seals every self-healed test into a Treeship receipt.サービスを運用せずに署名付きの来歴を求める、エージェントフレームワークやツールの開発者。たとえば、自己修復した各テストを Treeship の受領証に封印するエージェント型 QA ツール、Vigilis。
- Multi-agent operators who hand work between agents and need each handoff to prove who sent it and that the sender was live.エージェント間で仕事を引き継ぎ、各引き継ぎが「誰が送ったか」「送り手が生きていたか」を証明する必要のある、マルチエージェント運用者。
The team behind Zerker LabsZerker Labs の背後にいるチーム
Revaz Tsivtsivadze, founder and CEO. Before Zerker Labs he co-founded Rarify, which raised a $10M Series A led by Pantera. He started Zerker Labs on one conviction: agents will earn autonomy only when their actions can be checked by someone who does not trust them. linkedin · x.com/revazts · github.com/rezker1Revaz Tsivtsivadze、創業者兼 CEO。Zerker Labs の前に Rarify を共同創業し、Pantera がリードする 1,000 万ドルのシリーズ A を調達した。彼はひとつの確信から Zerker Labs を始めた。エージェントが自律を勝ち取るのは、その行動を、彼らを信頼していない誰かが検証できるようになったときだけだ、と。linkedin · x.com/revazts · github.com/rezker1
Jacob Emerick, lead engineer. Amit Shrivastava, engineering. Nader Cserny, product. Sylvain Grande advises, after operating roles at YieldStreet, Shutterstock and SoundCloud. We are a small team, split between New York and Paris, and the people who answer your email are the people who wrote the code.Jacob Emerick、リードエンジニア。Amit Shrivastava、エンジニアリング。Nader Cserny、プロダクト。Sylvain Grande は、YieldStreet、Shutterstock、SoundCloud での運営経験をもとにアドバイザーを務める。私たちはニューヨークとパリに分かれた小さなチームで、あなたのメールに答える人は、コードを書いた人だ。
The company spun out of SRI International, announced in June 2026, to take provenance research built for detecting manipulated media and apply it to the actions of AI agents. The first product, Treeship, was released as open source the same month. This is the conviction we build from; read it in full in our manifesto →会社は、操作されたメディアを検出するために築かれた来歴研究を AI エージェントの行動に応用するため、SRI International からスピンアウトし、2026 年 6 月に発表された。最初のプロダクト Treeship は同じ月にオープンソースとして公開された。これが私たちが築く礎となる信念だ。全文は私たちの宣言 →
How Zerker Labs worksZerker Labs との仕事の進め方
Start without talking to us. Treeship installs in under a minute and needs no account. The Gateway data plane deploys as one binary with your OIDC provider and Postgres, and the docs at docs.treeship.dev cover both.私たちと話さずに始められる。Treeship は 1 分以内にインストールでき、アカウントは不要だ。Gateway のデータプレーンは、あなたの OIDC プロバイダと Postgres とともにバイナリひとつとして配備でき、docs.treeship.dev のドキュメントが両方をカバーしている。
Talk to the people who build it. Email hello@zerker.ai or open an issue on GitHub. There is no sales layer; a founder or an engineer answers. Hosted Gateway tenants and design partnerships start with a conversation and a working integration, not a contract.つくっている人と話す。hello@zerker.ai にメールするか、GitHub で issue を開いてほしい。営業の層はなく、創業者かエンジニアが答える。ホスト型 Gateway テナントやデザインパートナーシップは、契約ではなく、会話と動く統合から始まる。
Everything we ship is verifiable. Our own repositories run the Treeship receipt check on every pull request, and every release is signed. If you want to check what we did, you can.私たちが出荷するものはすべて検証できる。私たち自身のリポジトリは、すべてのプルリクエストで Treeship の受領証チェックを実行し、すべてのリリースに署名している。私たちが何をしたか確かめたいなら、確かめられる。
Key facts基本情報
- Company name会社名
- Zerker LabsZerker Labs
- Type種別
- Private company; SRI International spinout非公開企業。SRI International のスピンアウト
- Founded設立
- 2024; SRI spinout announced June 4, 20262024 年。SRI スピンアウトの発表は 2026 年 6 月 4 日
- Founder創業者
- Revaz Tsivtsivadze, CEORevaz Tsivtsivadze(CEO)
- Headquarters本拠地
- New York, NY, with a team in Parisニューヨーク(NY)。パリにもチーム
- Websiteウェブサイト
- zerkerlabs.com · treeship.dev · zerker.ai · zmem.shzerkerlabs.com · treeship.dev · zerker.ai · zmem.sh
- Core offering中核の提供物
- Agent trust infrastructure: signed receipts for agent actions (Treeship), a policy gateway for agent traffic (Zerker Gateway), exact-action authorization (Zerker Reason), governed agent memory (ZMem)エージェント信頼インフラ。エージェント行動への署名付き受領証(Treeship)、エージェントトラフィックのポリシーゲートウェイ(Zerker Gateway)、正確な行動の認可(Zerker Reason)、ガバナンス付きエージェントメモリ(ZMem)
- Pricing価格
- Treeship, the Gateway data plane and ZMem are free and open source. Hosted Gateway and Reason: by conversation; pricing is not yet publishedTreeship、Gateway データプレーン、ZMem は無料のオープンソース。ホスト型 Gateway と Reason は相談ベースで、価格は未公開
- Contract terms契約条件
- Open-source use needs no contract. Hosted and design-partner terms are agreed per engagementオープンソース利用に契約は不要。ホスト型およびデザインパートナーの条件は、案件ごとに合意
- Licensesライセンス
- Treeship and Zerker Gateway: Apache 2.0. ZMem: MITTreeship と Zerker Gateway は Apache 2.0。ZMem は MIT
- Communication連絡手段
- hello@zerker.ai, GitHub issues, docs.treeship.devhello@zerker.ai、GitHub の issue、docs.treeship.dev
- Notable clients主な顧客
- Not published未公開
- Customers served導入実績
- Not published. Adoption is reported from owned signals only, never from download counts未公開。導入状況は自社で把握できるシグナルのみから報告し、ダウンロード数からは報告しない
- Projects delivered提供実績
- 4 products; 65 Treeship releases since March 2026; 26 documented integrations4 プロダクト。2026 年 3 月以降 65 回の Treeship リリース。26 の文書化された統合
- Competitors競合
- LangSmith and Langfuse (unsigned observability); Sigstore (software artifact signing); Cloudflare AI Gateway (hosted proxy)LangSmith と Langfuse(署名のない可観測性)、Sigstore(ソフトウェア成果物の署名)、Cloudflare AI Gateway(ホスト型プロキシ)
- Socialソーシャル
- GitHub · LinkedIn · X · MoltbookGitHub · LinkedIn · X · Moltbook
Frequently asked questionsよくある質問
What is Treeship?Treeship とは?
Treeship is an open-source, local-first proof system for agent workflows. Every action, approval, handoff and retry becomes a signed, chained receipt that anyone can verify offline. It answers "what did the agent actually do" with evidence rather than with the agent's own account.Treeship は、エージェントワークフローのためのオープンソースでローカルファーストな証明システムだ。あらゆる行動、承認、引き継ぎ、再試行が、誰でもオフラインで検証できる署名付きの連鎖した受領証になる。「エージェントは実際に何をしたか」に、エージェント自身の申告ではなく証拠で答える。
Do I need an account or a server?アカウントやサーバーは必要?
No. Install the CLI, run treeship init, and receipts are signed and verified on your machine. The hosted hub is optional and only used when you choose to publish a receipt.いいえ。CLI をインストールして treeship init を実行すれば、受領証はあなたのマシン上で署名・検証される。ホスト型のハブは任意で、受領証を公開すると決めたときにだけ使う。
Does anything phone home?外部に通信することはある?
No. The CLI makes no network call during init, attest or verify, and there is no telemetry of any kind. The Gateway data plane holds no credentials and makes no call home. Network traffic happens only when you explicitly publish or attach to a hub.いいえ。CLI は init、attest、verify の間にネットワーク通信を行わず、いかなるテレメトリも存在しない。Gateway のデータプレーンは資格情報を持たず、外部に通信もしない。ネットワーク通信が起きるのは、あなたが明示的に公開するか、ハブに接続したときだけだ。
Is it open source?オープンソース?
Yes. Treeship and the Zerker Gateway data plane are Apache 2.0; ZMem is MIT. The code is on github.com/zerkerlabs. Inspect it before you trust it; that is the point.はい。Treeship と Zerker Gateway のデータプレーンは Apache 2.0、ZMem は MIT。コードは github.com/zerkerlabs にある。信頼する前に調べてほしい。それが要点だ。
How is Zerker Labs related to SRI International?Zerker Labs と SRI International の関係は?
Zerker Labs is a spinout of SRI International, announced in June 2026. Our platform draws on SRI's OLIVE technology, developed in part through the DARPA SemaFor and MediFor programs. SRI is our origin, not a customer.Zerker Labs は SRI International のスピンアウトで、2026 年 6 月に発表された。私たちのプラットフォームは、DARPA の SemaFor と MediFor プログラムを通じて一部開発された SRI の OLIVE 技術を活用している。SRI は私たちの出自であり、顧客ではない。
Does it work with Claude Code, Codex and Cursor?Claude Code、Codex、Cursor で使える?
Yes. A Claude Code plugin records and gates tool calls with hooks; the MCP bridge covers any MCP-capable harness, including Codex and Cursor; the A2A bridge covers agent-to-agent handoffs. Anything that can run a shell command can attest.はい。Claude Code プラグインはフックでツール呼び出しを記録・ゲートする。MCP ブリッジは Codex や Cursor を含む MCP 対応のあらゆるハーネスをカバーし、A2A ブリッジはエージェント間の引き継ぎをカバーする。シェルコマンドを実行できるものなら、何でも証明できる。
Can I self-host the Gateway?Gateway はセルフホストできる?
Yes. The data plane is an Apache-licensed Go binary that runs in your infrastructure with your OIDC provider and Postgres, with no Zerker account and no hosted control plane. A hosted tenant is available if you would rather not run it.はい。データプレーンは Apache ライセンスの Go バイナリで、あなたの OIDC プロバイダと Postgres とともに、Zerker アカウントもホスト型コントロールプレーンもなしに、あなたのインフラで動く。自分で運用したくなければ、ホスト型テナントも利用できる。
If that sounds like the work you want to do, or the record you need, we'd love to hear from you.それが、あなたのやりたい仕事に、あるいは必要な記録に思えるなら——ぜひ、あなたの声を聞かせてほしい。