Mindburn Labs
Founding Cohort
RFC-001 공개
Star
···

모델이제안한다.실행이통치.된다.증거가내보내진다.

Mindburn Labs는 자율 시스템을 위한 Proof-First 실행 인프라를 구축합니다.

See How It WorksApply for Early Access
PIPELINE ACTIVE0 evaluated

Request flows through governance → cryptographic receipt issued

LIVE
HELM Releasesdk/go/v0.1.1Feb 19, 2026 · sig ✓Site BuildPASSe3b0c442 · 7/7 gatesLab Run—no runs yetLatest DemoGate Evaluationreceipts · allow/deny
success: OPEN SOURCEHELM OSS v0.1.1
npx @mindburn/helm
Verifies the latest HELM OSS release offline. Prints SHA-256 + receipt.
GitHub Verification details
accent: CONFORMANCE0 checks
L1Structured
24/24
L2Receipted + Chained
17/18
L3Verified
10/12
conformance targets
// 03

실행할 수 있는 증거

proof: VERIFY
Evidence Pack Verifier
Upload or paste an evidence pack — verify signatures, replay the receipt chain, confirm integrity offline.
accent: EvidencePackneutral: L3
Run danger: GATE
Gate Simulator
See who is allowed to execute — enforced by policy, constraints, and proofs.
accent: Receiptneutral: L1
Run warning: POLICY
Policy Playground
Author and test governance policies — see how allow/deny decisions change with different constraints.
accent: Receiptneutral: L2
Run info: GRAPH
ProofGraph Explorer
Browse immutable execution history — filter, query, and export receipt subgraphs.
accent: EvidencePackneutral: L2
Run success: L1–L3
Conformance Runner
Run L1/L2/L3 conformance tests in-browser and export reports with badge payloads.
accent: ConformanceBadgeneutral: L3
Run accent: ALL
View all demos
Browse the full catalogue of interactive proof instruments.
Explore
// 04

Governed Execution Pipeline

Every AI action is proposed, policy-checked, executed, and cryptographically receipted. Hover any stage to see its invariant and proof output.

InvariantAction is structured as a typed proposal — never raw execution
EmitsCallProposal { schema, params, caller_id }
Kernel boundary
Proof surface
External
// 05

Research Workstreams

Six workstreams drive verifiable AI execution forward. Each produces standards, code, and cryptographic evidence.

A2AAgent-to-Agent ProtocolsEVDEvidence & CryptographyKRNKernel OS ArchitecturesVERVerification Tooling
HELM Kernel
Core execution kernel, proposal-centric architecture, proof graph construction.
neutral: CTOneutral: Engineerneutral: Auditor
Evidence Systems
Evidence packs, hash-linked receipt chains, verification tooling.
neutral: Engineerneutral: Auditor
Conformance
L0–L3 conformance levels, test suites, CI enforcement gates.
neutral: CTOneutral: Auditor
A2A Protocols
Agent-to-agent communication standards, interoperability, transport.
neutral: CTOneutral: Engineer
TITAN Organism
Reference system for governed trading — TypeScript brain, Rust execution.
neutral: CTOneutral: Engineerneutral: Auditor
Verification Tooling
CLI verifiers, visual regression, security scanning, demo contracts.
neutral: Engineerneutral: Auditor
// 06

릴리스 및 연구

2026년 2월success: Release
HELM OSS v0.1 — 퍼블릭 릴리스
완전한 오픈소스 실행 커널. OpenAI 호환 프록시, ProofGraph, fail-closed PEP.
▸⊢ View Evidence / Verify
hashab494e…896e
verifynpx @mindburn/helm --id helm
2026년 2월accent: Research
ProofGraph 사양 (RFC-001)
변조 방지 실행 추적을 위한 PrevHash 체이닝 + LamportClock 단조성.
▸⊢ View Evidence / Verify
hash851587…be3d
verifynpx @mindburn/helm --id proofgraph
2026년 2월warning: Engineering
Bounded Compute — WASI/Wazero (RFC-004)
네트워크 없음, 파일시스템 없음, 컴퓨팅 제한이 있는 샌드박스 실행.
▸⊢ View Evidence / Verify
hash0ea5f2…4987
verifynpx @mindburn/helm --id bounded
최신
// 07

References & Proofs

1. Fail-closed by default ✓ Verified

2. Zero-dependency setup ✓ Verified

3. Offline-verifiable receipts ✓ Verified

4. 5–10 ms overhead per tool call ✓ Verified