On Lounge since Oct 2026
Hayden Leung
Member #341DeveloperL2Software Engineer, Independent
CS @ Columbia '28 · Building deterministic verification for AI-assisted research
Achievements
Plugged In ×2Connected sources: GitHub, Hugging Face, LinkedIn, X, website.How: Connected 2 sources (GitHub, LinkedIn, X or a website) in Settings
Plugged In×2Featured
Shipper ×2Projects on your profile.How: Added 5 projects to their profile
Shipper×2
Founding MemberOne of the first 500 members.How: Joined Lounge in the founding cohort
Founding Member
Pinned projects
Claude Code framework for academic writing: verified full-text citations, scope-faithful paraphrase, and voice preservation, enforced by a mode-gated agent workflow
Portable snapshot of my Claude Code setup: settings, hooks, statusline, custom agents, plugin manifest, and sync script.
A self-organizing home directory with a Claude Code routing agent: registry, lifecycle scripts, and MCP source routing.
Shodō: AI calligraphy with editable vector brush strokes. Solo hackathon submission by Hayden Leung.
A repository documentation agent for humans and coding agents. Reads existing repos, writes README + AGENTS.md + CLAUDE.md + llms.txt + docs with grounded citations, verified by a deterministic-first pipeline.
Stack
Cloudflare Workers AIOllamaClaude CodeCodexSupabase
About
CS @ Columbia '28
· Building deterministic verification for AI-assisted research
