📈 GH Trending Explorer 🎲 Surprise me

Search: verifiable · Language: TypeScript · clear

beita6969 / ScienceClaw

Verifiable program-level self-evolution for AI-for-Science agents: Skills and typed Operators grow from replay-verified executions.

★ 1.0k TypeScript 4d ago
cabloy / cabloy

Cabloy is a Node.js fullstack framework for AI vibe coding, with AI Spec-Driven Development guiding work from confirmed specs to verifiable delivery.

★ 983 TypeScript today
bastani-inc / atomic

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.

★ 863 TypeScript today
emiliaprotocol / emilia-protocol

Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open protocol keeps evidence verifiable.

★ 611 TypeScript 1d ago
PerryLink / dsh-research-report

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.

★ 214 TypeScript 1d ago
Stellar-hush / hush

Open-source working beta for private email on Stellar: encrypted messages, sender-controlled inbox policies, optional postage, and verifiable delivery receipts.

★ 131 TypeScript 8d ago
openpactprotocol / openpactprotocol

PACT is an open protocol for personal agents to interact with businesses’ agents under explicit, verifiable user permissions.