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:
Cardano
Wallet, signing, and on-chain data-structure work — mostly at Cardano Foundation / lambdasistemi, contributing to cardano-wallet and building the pieces around it.
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
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
Running in production
Not demos — actual services, actual users.
reactivegas
Distributed administration for a solidarity purchasing group (GAS) — prepaid accounts, group ledgers. Running continuously since 2015.
labottegadiluca
A woodworker's studio site