PROV Portfolio Watch
PROV (watch): research with full provenance
BitsExplorer finds what people are building with AI, every day. See today's picks →
Mathvet
MathVet: independent, pre-referee fidelity reviews of AI-generated Lean formalizations. First review: openai/math (235 families). Does the Lean statement say what the paper claims?
Description excerpted from the original listing, which is linked below.
PROV for Alts
PROV (alts): research with full provenance
Aed Bench
An interactive guide to using an AED: step by step, in three styles (ERC 2025 / AHA 2025 adult BLS)
Court Cam
SwingVision camera setup helper PWA
FLOORED (BETA) — 首都高 Night Drive
Night driving through a procedurally generated Japanese town and its elevated expressway. Sim-grade tire physics, dense AI traffic, rain, neon.
Klarbase — tiny isles, clever paths
A cozy puzzle game of floating isles. Play 24 hand-made isles, build your own, and share them.
CashStash by caprocket
A fast-paced web card game of asset stacking, high-stakes stealing, and game theory AI.
DeDT Platform
Open-source code of the DeDT project: a blockchain-powered decentralized Digital Twins platform (DAO collaboration, big data flows, IP-NFT fundraising, trustworthy predictive analytics). MSCA Fellowship, Masaryk University.
The week in AI-built software
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