tidy-prompt
Compose structured, XML-tagged prompts for AI coding agents.
BitsExplorer finds what people are building with AI, every day. See today's picks →
Sundai Hack 142: Erdős 3 research, 14 Lean-checked elementary theorems, and an interactive proof lab. Full conjecture remains open.
Description excerpted from the original listing, which is linked below.
Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.
Read the latest week