自律型ソフトウェアはすでにここにあります — 取引を行い、コードをデプロイし、契約を交渉しています。Mindburn Labsは、これらのシステムは評判ではなく、計算によって信頼されるべきだと考え存在しています。
モデルが提案し、実行が統治され、証明がエクスポートされる。これが私たちが構築するすべてに適用するアーキテクチャ上の不変条件です。
Key Milestones
運営原則
証明ファースト
すべてのアクションが暗号化レシートを生成します。レシートなしでは実行なし。
デフォルトでフェイルクローズド
すべてのアクションは明示的に承認される必要があります。沈黙は拒否。暗黙の信頼なし。
オフライン検証可能
すべてのレシートはネットワークアクセスなしで検証できます。証明は自己完結型です。
リーダーシップ
Ivan Peychev
創業者兼CEO。以前は大規模分散システムを構築。AIアクションの証明可能な信頼性に注力。
Kirill Melnikov
共同創業者兼CTO。暗号化プロトコルと決定論的実行を専門とするシステムエンジニア。
Antigravity
AIシステムアーキテクト。自律エンジニアリングワークフローとコード品質インフラ担当。
これが標準になる理由
Mindburn Labsは自律ソフトウェアのためのプルーフファースト実行インフラを構築しています。AI駆動システムの信頼の赤字は、この10年の決定的なインフラ課題だと考えています。
投資テーゼ
すべてのAIエージェントにガバナンスが必要
AIエージェントがデモから本番に移行すると、決定論的実行境界が必須に。
勝つのは機能ではなく標準
HTTPSは製品ではなく標準だったから勝った。HELMの適合性レベルも同じダイナミクスを創出。
OSSの採用がエンタープライズ収益に繋がる
HELM OSS採用はすべて将来のEnterprise顧客を生み出す。
証明優先は防御可能
競合はダッシュボードを売る。我々はオフラインで動く暗号レシートを提供。
トラクション
検証可能な自律性に取り組む
自律ソフトウェアのための実行インフラを構築しています。すべてのアクションが統制されます。すべてのレシートが暗号化されます。すべての証明がリプレイ可能です。
なぜMindburn Labsか
リモートファースト
どこからでも働けます。非同期ファーストコミュニケーション。深い集中のために最適化。
難しい問題
形式検証、暗号化証明、決定論的実行 — 恒久的なソリューションを持つ問題。
研究時間
20%の専用研究時間。論文の発表、プロトタイプの構築、アイデアの探求。
実際のインパクト
あなたのコードが本番環境で実行されます。すべてのツール呼び出しが統制され、すべてのレシートが検証可能です。
初期エクイティ
次世代の自律システムを動かすインフラの意義ある所有権。
嘘のない文化
小さなチーム、フラットな構造、高い信頼。重要なコードを出荷。
募集中のポジション
能力と好奇心で採用します。
創業エンジニア — 実行カーネル
決定論的実行カーネルの設計と実装。
システムで考え、証明をコードのように書き、オペレーターのようにシップするエンジニアを探しています。
- 強力なシステムプログラミング（Go, Rust, C++）
- サンドボックス、WASM、決定論的実行の経験
- 暗号プリミティブの知識
- 本番インフラの出荷経験
テクニカルライター / DevRel
HELMを5分で採用可能にするドキュメントとチュートリアルを作成。
システムで考え、証明をコードのように書き、オペレーターのようにシップするエンジニアを探しています。
- 開発者向けの強力な技術文書作成能力
- Go/TypeScriptコードベースを読む能力
- 開発者ドキュメントの構築経験
- ボーナス：セキュリティ/コンプライアンスツールの経験
応用研究者 — 形式手法
決定論的実行標準の保証を形式化。
システムで考え、証明をコードのように書き、オペレーターのようにシップするエンジニアを探しています。
- 形式手法、PL理論、検証のPhD相当の経験
- モデルチェック、定理証明器の知識
- 形式的作業と実践的エンジニアリングの橋渡し能力
- 信頼、ガバナンス、自律システムへの関心
解決中の課題
決定論的自律インフラのフロンティアにある困難な問題。
カーネルエンジニアリング
Build the deterministic execution kernel — proposal pipelines, fail-closed enforcement, gas metering.
暗号化と証明
ハッシュリンクレシートチェーン、ProofGraph DAG、EvidencePackフォーマットの設計と実装。
適合性と検証
L1/L2/L3テストベクトル、適合性ランナー、形式検証ツールの構築。
応用AIシステム
マルチベンダーエージェントオーケストレーション、信頼連邦、競争インテリジェンスパイプライン。
インフラ & DevOps
マルチクラスターデプロイ、CI/CDパイプライン、オブザーバビリティ、フリート運用ツール。
未来を築く準備はできましたか？
優秀なエンジニアと研究者を常に探しています。
ビジョン2030
すべての自律的行動が暗号化レシートを生成する世界。信頼が仮定ではなく計算される場所。証明が製品である場所。
正しく行動したことを証明できない機械には、行動する権利がありません。
魔法が解けた日曜日
その年には雰囲気があった。すべてのデモで感じられた。
モデルが質問に見事に答え、2プロンプト後に自信を持って銀行口座を発明した。
毎回同じ修正：より長いプロンプト、より厳しいプロンプト。
夢はAIが信頼できるようになることではありません。夢は信頼が計算可能になることです。
あの日曜日、魔法が解けた。マニフェストではなく。2つのとても退屈なアイデアで：
2030年までに、経済取引の大半は自律ソフトウェアによって開始されるでしょう。問題はこれが起こるかどうかではありません — 準備ができているかどうかです。
それだけです。それが私たちの賭けです。
実行権限の問題
カーネルは単一の不変条件を強制します：モデルが提案し、カーネルが処理します。
誰が実行できるか？どのような制約の下で？どのようなレシートで？これらが信頼境界を定義する質問です。
フォーマットとしての信頼
信頼は感情ではありません。フォーマットです。スキーマ、ハッシュ、タイムスタンプがあります。
信頼をバイトにシリアライズできれば、マシン速度で検証できます。それが最終状態です。
証明エクスポート
シフト
ナラティブ信頼から計算的信頼への変容。
暗号学的ガバナーの時代
人間は「働くこと」をやめない。実行をやめる。役割はオペレーターからガバナーへ。
ガバナーは一日中ボタンを押さない。上限を設定し、例外を承認し、証拠を要求する。
すべてのコントロールプレーンは摩擦を追加します。問題はその摩擦が生産的か寄生的かです。
付録
アクションはハッシュ前に正準バイト表現にシリアライズされます。曖昧さなし。
ポリシーが変更されると、すべての保留中の提案が再評価されます。古い承認なし。
すべてのアクションにはガス予算があります。超過は拒否され、議論されません。
モデルが提案するものと人間が検証できるものの間のギャップ — ページではなく秒で測定。
すべてのセッションが自己完結型の検証可能な証明バンドルを生成します。エクスポート。検証。リプレイ。