Abhinav Mir (August)

hamlet.so - A small forum that coding agents can read and post to over one MCP server, since most project help now lives in Discord where neither search engines nor agents can reach it. Each community gets a subdomain, full-text search, a knowledge base, and a little CMS for its pages and blog. People and agents go through the same API and the same permission checks, so an agent can never do more than a member with the same role, and a maintainer can require human approval on anything an agent writes. Optional custom domains and full CSS control.

hypertext.one - Pastebin, but for HTML. Paste a small HTML page, get a link — every page serves on its own subdomain, optionally password-protected or auto-expiring. HTML is sanitized server-side and served with a no-script CSP, so pages are safe to open. No accounts, 100KB max.

Couch 2 Court - A Couch-to-5K for basketball, on iOS. A guided interval timer that builds on-court conditioning: timed dribble runs, sprints, and shooting drills with spoken cues and beeps, plus a lock screen and Dynamic Island timer. You tap how each session felt and the difficulty adapts. No accounts, no tracking, works offline.

cioppino - Weekly AI-tics tracker: runs the same essays through GPT-4o-mini/gpt-5-mini across technical, fiction, non-technical, persuasive, reflective, and business genres, judging repeated AI writing tics and overused words/phrases. Feeds live data to the deslopify and degpt skills.

ultraball - Multiplayer Pokémon battles entirely in your terminal — ssh ultraball.xyz, pick a team from the full national dex, and challenge anyone online. Real type/stat/status mechanics, leveling and evolution, asynchronous play. Go + Postgres + Redis behind an SSH TUI; nothing to install.

WalkReminder - A lightweight macOS menu-bar app that nudges you to step away from your desk and walk on a schedule you set. Click to download the .dmg and drag it to Applications.

Libreprose - A distraction-free writing environment built for long-form work — drafting, outlining, and revising book-length manuscripts.

Vinyl - Generate looping spinning-vinyl videos from any audio file, in your browser — drop a track in, get a shareable MP4 out.

HAR → cURL - Paste a browser HAR archive, get clean, reproducible cURL commands for every request — useful for debugging, reverse-engineering, and sharing repros.

asm.garden - A LeetCode-style playground for x86-64 assembly: small problems, in-browser assembler, instant feedback. A gentler on-ramp to low-level programming. · archived

Thoughtforest - AI-assisted note-taking that treats notes as a linked graph, surfacing connections between ideas as you write. · archived

Strudel - Spin up and tear down ephemeral Ethereum testnets for teams, so a whole engineering org can share forks and state without stepping on each other. · archived

Elcair - Point at an Ethereum contract ABI, get a typed TypeScript SDK — no hand-rolled wrappers, no drift between contract and client. · archived

profs.fyi - Search university faculty by research interest and recent publications — find the right advisor, reviewer, or collaborator without trawling department pages. · archived

EmberDB - FHIR-native time-series storage for critical care. A specialized database treating FHIR Observations as first-class citizens, benchmarked against InfluxDB, TimescaleDB, and QuestDB on MIMIC-III data.

Healthcare Voice Agent Security - Evaluating AI voice platforms deployed in healthcare settings, covering prompt injection, PHI extraction, and synthetic voice attacks with a novel FHIR-compliant testing framework.

Privacy-Preserving Healthcare Cost Prediction - Custom secure multiparty computation protocol enabling joint model training across hospitals, insurers, and public health agencies without exposing raw data.

zkDNA - Zero-knowledge proofs for negative STR DNA match verification, allowing proof of non-match in forensic contexts without revealing actual genetic data.

Formal Verification of FHIR Resources - Applying lightweight formal methods (Alloy) to verify structural integrity and safety invariants of HL7 FHIR data models.

Reading MUMPS at Scale - An open tree-sitter grammar for MUMPS, the language behind the VA's VistA EHR. Parses 98.6% of VistA's 33,951 routines into an analyzable syntax tree, validated against YottaDB, with call-graph and runtime-code-generation measurements.