Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.

A curated list of LNURLcash (LUD-25) implementations, tools and writing

LNURLmint is an implementation of LUD-25.

Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing…

BOLT: Basis of Lightning Technology (Lightning Network Specifications)

LNbits, free and open-source Lightning wallet and accounts system.

The lightest sandbox. A process-based sandbox for Linux, no container, no VM, no privilege, no prompt injection

OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.

Minimalistic implementation of BIP32

Docker-based local PHP+Node.js web development environments

A Bullish Shell for a Basic Bitcoin Lisp Language

Read BIPs like a pro.

B'SST: Bitcoin-like Script Symbolic Tracer

Python3 library providing an easy interface to the Bitcoin data structures and protocol.

Boltz Regtest Environment

Bitcoin Script Debugger

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

CLN plugin for lightning prisms using BOLT 12

The open app store

A protocol for improved layer two bitcoin payments

Filter lists for uBlock Origin & uBlock Origin Lite

A Testing Toolkit for the Lightning Network

Liquid Wallet Kit

Boltz Web App

A proof-of-concept implementation of BitVM for bristol circuits