Dev

Open-source projects I build and maintain. Each card opens a short note on what the project does, why it exists, how it works and how to use it.

• VeriBib

  A read-only fact-checker for BibTeX, served over MCP. It checks each entry against Semantic Scholar, Crossref, DBLP, arXiv and OpenAlex and shows what differs, with the evidence, without ever editing your library.

  TypeScript · MCP server · SQLite

  GitHub

• pi-better-render

  Streaming-first rich rendering for the pi coding agent's terminal UI. Markdown, code, tables and LaTeX render while the answer streams in, with formulas shown as real images in Ghostty and kitty.

  TypeScript · pi extension · MathJax 4 · resvg

  GitHubnpm

• texmorph

  Seekable formula morphing for the web. It animates one LaTeX formula into another, and every frame is a pure function of progress, so a slider, a timeline or a video renderer can drive it in any order.

  TypeScript · KaTeX · MathJax 4

  GitHubDocs and demosnpm

• Bezier Cursor Tail

  A dependency-free browser library for a smooth cursor tail and hand-written canvas strokes, with stroke width from pointer speed and curves sampled along quadratic Béziers.

  JavaScript · Canvas · SVG

  GitHubLive demo