Projects

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

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

LLM-hosted Automation Podcast

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