-
halka Public
HALKA is a modern programming language combining high performance, memory safety, concurrency, clean English-like syntax, and powerful systems-level control for building reliable software.
-
attestry Public
Verifiable trust infrastructure for AI agents: model-drift detection, tool-schema translation, consent receipts and a serverless skill registry, over one signed append-only ledger. No server, no de…
-
Faultspool Public
Auto-generate regression tests from AI agent traces: capture, detect failures (rules, heuristics, local Ollama judge), replay deterministically, cluster, and gate CI.
-
Chitraq Public
One memory, many intelligences. A persistent, model-independent memory engine — local-first, zero dependencies.
-
undolith Public
Simulate -> commit -> undo for AI agent tool calls. Signed, hash-chained action ledger, rollback, kill switch, verifiable proofs. Zero dependencies.
-
Mnemochain Public
Append-only, hash-chained memory and semantic recall for AI agents - local-first, citation-backed, with replay and tamper verification.