Local-review is a minimal webapp for reviewing coding agent branches before pushing. It provides branch-scoped diffs, line-by-line commenting with threading, live updates, and exports feedback as markdown for agent handoff.
A production-ready TodoMVC application built in Lean 4 with passwordless authentication, SQL migrations, telemetry, and AWS Lambda deployment. The application leverages Lean's type system and theorem prover to provide formal guarantees on security properties, HTML markup validity, encoding correctness, and agent permissions.
AudioSort is a web app that sorts audio files by dividing them into chunks and arranging them based on properties like amplitude or frequency, with options to control window length, sorting target, measurement method, and sort direction.