Self-hosted TypeScript agent runtime with durable approvals and verifiable run records. Own it, approve it, audit it.
Verifiable program-level self-evolution for AI-for-Science agents: Skills and typed Operators grow from replay-verified executions.
Cabloy is a Node.js fullstack framework for AI vibe coding, with AI Spec-Driven Development guiding work from confirmed specs to verifiable delivery.
Local-first, zero-trust agentic IDE for verifiable autonomous software development.
The verifiable coding agent runtime. Define your coding agent's process in natural language with stages, checks, and approval gates instead of hoping it follows your instructions. Primitives for verifiable software factories.
Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open protocol keeps evidence verifiable.
A JavaScript Framework for Verifiable Data
Portable, verifiable work state for coding agents
Verifiable research-report engine for DeepSeek Harness: content-addressed evidence ledger (claim-snapshot binding, tamper-evident) plus versioned sealed reports with per-claim verification verdicts and a manifest-sealed directory.
Open-source working beta for private email on Stellar: encrypted messages, sender-controlled inbox policies, optional postage, and verifiable delivery receipts.
PACT is an open protocol for personal agents to interact with businesses’ agents under explicit, verifiable user permissions.