Small tools, built in the open.

Linux voice dictation. Hold a key, speak, text appears.

Transcription is a solved problem and the category is crowded. Packaging is not. Every competitor ships as git clone plus Python plus manual sudo steps, and none of them work properly on GNOME Wayland. Sensor reads the key below the compositor, so it works on GNOME, KDE, X11, and a bare tty alike. One command to install, one command to remove it completely — this app reads every keystroke, and reversibility is what makes it safe to try.

Written in Rust. Install instructions are on the Sensor site.

Install it →Source on GitHub →

An automated theorem prover for Lean 4.

An LLM proposes a proof, the Lean compiler checks it, and every failure is fed back as a written lesson so the next attempt is better informed. AlphaProof is a 30B fine-tuned model trained for roughly 80,000 TPU-days. Leonhard is an off-the-shelf model, a while loop, and a text file of notes. It proves considerably less — but it proves things, and every part of it is legible.

$ uv venv && uv pip install -e .$ uv run leonhard prove Theorems/Arithmetic.lean:add_zero

Also needs Lean 4 via elan, and an API key for DeepSeek, Moonshot, or OpenAI. Full setup is in the README.

Source on GitHub →

A meeting invitation worth the recipient's time.

Write the note, offer real times and real places, and send one person a link. It reveals itself a line at a time instead of arriving as another paragraph asking for fifteen minutes. Built for the message you only send once, to someone whose attention you would rather earn than request.

A hosted web app rather than something you install. Not released yet.

Source coming soon

Goal-directed web research.

Describe what you are looking for in plain language. Luminous searches, reads real pages, and hands back a spreadsheet where every row quotes the source it came from and links to it. Not a chatbot and not a search engine — it answers questions shaped like a list, where the answer is scattered across fifty pages nobody wants to open.

$ git clone https://github.com/Filament-Platform-Inc/luminous.git

Bring your own API key. Honestly: this one is rough, the hosted version is down, and it is under active repair. The code is public if you want to look.

Source on GitHub →