Lightweight quest and capsule kernel for coding agents.
Melete — the Self-Driving Discovery Brain. A closed-loop active-experiment engine with a pluggable oracle and a signed, offline-verifiable discovery trace. Mneme remembers; Melete discovers.
Official KDNA Studio command-line authoring entry for creating, reviewing, compiling, and exporting .kdna judgment assets through the KDNA toolchain.
Core primitives for Basou: sessions, events, approvals, git capability
basou command-line tool
Read-only SDK for Basou: a stable, ergonomic API to read a workspace's provenance (sessions, events, tasks, approvals, stats).
Official KDNA Studio Core SDK for authoring, reviewing, compiling, and exporting .kdna judgment assets through the KDNA toolchain.
Spor — a shared memory substrate for teams and agents. Decisions, their reasons, and the traces they leave. Knowledge-graph context compiler: session-start briefings, per-prompt digests, capture at discovery, end-of-session distillation, decision queue.
Catch every time your AI coding agent touches auth, secrets, or skips a test, then turn the correction you made into a local regression eval. Local-first, deterministic, no LLM judge.
Local-first proof-of-build ledger for AI-assisted software. npx vibetrace-cli collects your local AI-agent build traces, hashes them, and publishes an inspectable public build story with a build score.
SLSA v1.2 provenance mapping for PEAC provenance extension
in-toto v1.0 attestation mapping for PEAC provenance extension
EU AI Act Article 50 cryptographic transparency receipts, anchored to Bitcoin. The TypeScript SDK with the Stripe-style attach() pattern.
Zero-cost data provenance tracking
Domain-free knowledge record, artifact, provenance, and context contracts for Yolk agents.
Scaffold a new Nema-governed documentation repo
Retrieval, context packing, provenance, and prompt-injection guard contracts for Plasius AI RAG.
TypeScript kernel of the ar.io verification stack: RFC 8785 (JCS) canonicalization, SHA-256, and Ed25519 verification for Verifiable Event Envelopes. Full-family verifier (inline + external commitment); accepts ario.agent/v1, ario.mlflow/v1, ario.events/v
Cryptographic state continuity for AI agents — Reverse-XorIDA with trust substrate, provenance, and enforcement
~Alter Identity SDK: query the continuous identity field from any JavaScript/TypeScript environment
MCP server for ChronoVerify: verify a photo's capture time and provenance from any MCP-compatible AI agent.
Client for the ChronoVerify image capture-time and provenance verification API.
Watch Foreseal verify-before-act: an AI agent ACTs on genuine bytes and REFUSEs four tamper/forgery attacks — runs locally in ~1s, no real USDC, no signup, no API key.
MCP server for ARES, the Czech business registry — company lookup, due diligence, statutory bodies, insolvency, with optional Ed25519-signed provenance.
Agentic QA — an AI agent that writes, gates, triages, and self-heals Playwright, Cypress & Selenium tests, with signed provenance receipts.