Projects

Tools, research systems, and small products I maintain.

In progress

lastai

Fast local full-text search and resume launcher for Codex and Claude histories.

RustTUICodexClaude

aminet

Supply-chain review CLI and GitHub Action for npm and Python dependencies.

Supply ChainCLIGitHub Actions

valid

Rust DSL for finite-state verification of business-rule models.

RustFormal VerificationDSL

Managed-Papers

Cosense (Scrapbox) add-on, managed research papers on Cosense

CosenseScrapbox