Starred repositories
Local macOS relay inbox for coding-agent status updates
A standard format for tracing AI-generated code.
Device Bound Session Credentials: A Protocol for Protecting From Cookie Theft
a tiny web server that reads bookmarks from a nb notebook and serves an index. built to be used from any device on your network.
A wrapper for integrating the OWASP Coraza WAF with HAProxy's SPOE filters.
The verification harness that Claude Code should have shipped with
A long bet between Matthew Green and Filippo Valsorda on what will break first: ML-KEM-768 or X25519. You can join! Money goes to charity.
A zero-terminal, real-time sync engine powered by your own Cloudflare Worker.
💧 National Water Prediction Service Gauges for TRMNL
SQL lexer for mysql. Creates digests exactly like performance_schema.
KSOPS - A Flexible Kustomize Plugin for SOPS Encrypted Resources
An agentic skills framework & software development methodology that works.
The most human-like AI agent you'll ever use. It insists on manners, gets distracted mid-task, sometimes gives up entirely, occasionally claims it did something when it didn't, ignores its own outp…
Claude Code skill for uploading to, downloading from, and searching the Internet Archive (archive.org)
A Pluggable Authentication Module (PAM) which allows the establishment of alternate passwords that can be used to perform actions to clear sensitive data, notify IT/Security staff, close off sensit…
OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched
A framework for distributed systems verification, with fault injection
A workbench for writing toy implementations of distributed systems.