ProofGate: checking what an AI agent’s “pass” actually means
AI Evaluation Lab presents ProofGate, an open-source browser demo for independently checking recorded coding-agent patches against a task contract.
Across every issue
Search
Titles, domains, summaries, categories, signals, dates, and editorial-interest scores across the entire published catalogue.
Results
131,888 catalogue cards
-
-
Akam Nawzad’s Kurdish NLP research
A machine-learning engineer’s portfolio of research, models, and tools focused on Kurdish language technology.
-
Akashlipi turns radio-heard aircraft into a sky log
A Linux app that turns aircraft received by an RTL-SDR dongle into detailed flight logs, with routes, weather, operator information and decoded messages.
-
Archie & Leo’s Wedding RSVP
archieleopawrentstietheknot.com
A dog-narrated wedding page for Akash and Shilpashree’s March 9, 2027 celebration at Chandra Mahal in Agartala.
-
Así Se Construye: Colombia, Piece by Piece
A sourced collection of explainers on Colombian landmarks and everyday building systems, broken down into their component parts.
-
Between the Pages: The Christmas Letter from Addis Ababa
An Irish community project uses a shared candle map and an unfolding story to help return a family letter found inside a second-hand book.
-
The Big Dig Chicago: a lakefront tunnel with a 120-year tax bill
A satirical Chicago megaproject pitch imagines burying Lake Shore Drive and uses a budget estimator to turn its grand plans into household tax math.
-
Chùa Mây: a shared online Buddhist temple
A Vietnamese-language browser temple with shared rooms for chanting, prayer, meditation, remembrance, and quiet company.
-
Combe Downer: Bath’s Residents’ Combat Zone
A browser game sets a resident-versus-resident combat scenario in Bath, with a Combe Down map, solo practice, and multiplayer play.
-
Cryptomante’s crypto-prediction ledger
An Italian-language public ledger that records cryptocurrency price predictions, checks them against historical prices at their deadlines, and lists regulator-record information.
-
Diffract’s interactive electromagnetic optics lab
An interactive instrument for exploring monochromatic electromagnetic fields across optical experiments, with controls for field, phase, energy, and observation.
-
EarthHum: The planet, live, as music
An interactive globe layers earthquakes, satellites, and aircraft, with controls for exploring their positions and hearing an ambient soundscape.
-
Felix + Ravi put pixel companions on your screen
A downloadable companion app lets two pixel characters wander alongside Windows and Android users, with a first Mac preview and a small story-driven world.
-
Fun Books: Wholesome Guides for Unwholesome Times
An illustrated book project presents 1950s-style how-to guides for emergencies both practical and preposterous, from storing water to hosting a Martian.
-
Garnet Guard checks dependency releases against a trusted version
An open-source dependency reviewer that compares a new Python or npm release with the version a project previously trusted and flags changes to inspect.
-
Khalifa Shuaib’s machine-building portfolio
A mechatronics and robotics engineer’s portfolio, organized around machines designed, built, tested, and deployed.
-
How over is it? A mood ring wired to instruments
A satirical AI doom index combines market odds, benchmark scores, research activity, and labor data into a daily dashboard.
-
Manual of Instructions makes adulthood a fan-page game
A handmade, interactive archive pairs tongue-in-cheek instructions for adult milestones with small games, objects, and personal-page features.
-
Kindling AI’s multi-Spark serving stack
An open-source stack of recipes and tools for serving large open models across two to six NVIDIA DGX Spark machines.
-
Larkin Rolls: Salary, by Toilet Paper
An unofficial live estimate of Dylan Larkin’s lost salary, translated into rolls of toilet paper.
-
Magnolia Margins’ Mississippi election tracker
A nonpartisan election tracker publishing forecasts, county-level numbers, and analysis for Mississippi races.
-
Martin’s Landing: The 2026 Vote, Clause by Clause
A resident-run guide compares proposed 2026 covenants and bylaws with Martin’s Landing’s 2008 documents ahead of a community vote.
-
Midsolane: a JRPG where every turn moves the sun
A turn-based JRPG demo follows Linn through a sunlit northern land where combat advances on a 24-hour clock and day 40 brings a hard stop.
-
Never Far — a line a day, quietly kept
A private daily-writing app that turns entries into an exportable book and can send a chosen guardian the writer’s last entry after a period of silence.