identity
KERI
KERI (Key Event Receipt Infrastructure) is a decentralized key-management protocol built on hash-chained event logs and witnessed receipts, independent of any blockchain. Implementations and tooling across three languages:
keri-hs
KERI (Key Event Receipt Infrastructure) library in Haskell
keri-purs
KERI-based collective purchasing
keri-lean
Lean 4 formalization of KERI protocol invariants
kelgroups
Polymorphic Haskell library for KEL-based group management with KERI hash-chained events
Now the base for the reactivegas rewrite.
blockchain
Cardano
Wallet, signing, and on-chain data-structure work — mostly at Cardano Foundation / lambdasistemi, contributing to cardano-wallet and building the pieces around it. The general process: the lambdasistemi org hosts the prototypes; the Cardano Foundation receives the released work.
cardano-keri
KERI AID on Cardano — self-certifying identifiers with pre-rotation for on-chain credential anchoring
Cardano Foundation work, hosted in the lambdasistemi org for practicality.
cardano-mpfs-offchain
Fact CRUD, transaction building, devnet server for Merkle Patricia Forestry on Cardano
Migrates to the cardano-foundation org once MPFS v2 is ready.
aiken-csmt
Compact Sparse Merkle Trie for Aiken — non-hashed keys preserving ordering
cip-30
Sign Cardano transactions with Eternl via CIP-30 — partial signing for multisig
cip100-sign
CIP-100 body hash signer — Cardano BIP32-Ed25519 key derivation and signing from stdin
air-gap-signer
Blockchain-agnostic air-gapped transaction signer for Raspberry Pi 4
aiken-codegen
Haskell DSL for generating Aiken source code
haskell-libp2p
Haskell bindings for libp2p via Rust FFI
infrastructure
Agentic tooling
Infrastructure for running AI coding agents safely and observably — guard rails, MCP servers, and a voice interface.
mcp-worktree-guard
MCP server enforcing git worktree-per-branch workflow
mcp-merge-guard
MCP server that guards PR merge decisions by validating CI, approvals, conflicts, and branch freshness
voice-agent
Voice control for Claude Code via Telegram — send voice messages, get them transcribed, control Claude hands-free
gha-live
Live Buildkite-style pipeline visualization for GitHub Actions
cardano-dev-skills
Agentic development skills for Cardano devs