Math-Challenge: proofs checked by machine
An open community platform for formalizing mathematics in Lean, with projects, rankings, and automatically verified challenges.
Across every issue
Search
Titles, domains, summaries, categories, signals, dates, and editorial-interest scores across the entire published catalogue.
Results
102,467 catalogue cards
-
7153
-
7154
Matière GUI — Héritages du Guizhou
A French-language editorial project documenting the clothing, silver adornments, teas, and material traditions of Guizhou, China.
-
7155
mayrun puts a policy gate in front of coding-agent commands
A local CLI and MCP tool that evaluates shell commands against YAML policies before allowing, denying, or requiring approval for execution.
-
7156
MCPstack: the MCP directory that installs things before judging them
A hand-tested directory of Model Context Protocol servers for developers and DevOps teams.
-
7157
MCP Vitals watches for the moment an MCP server flatlines
A monitoring service that performs real MCP handshakes, detects tool-schema drift, tracks uptime and latency, and alerts teams when servers fail.
-
7158
Meow Messenger, for the people you actually want to hear from
A closed-beta private messenger designed for family and a very small circle of close friends.
-
7159
Keepsake: A Book for the Conversations You Meant to Keep
Keepsake turns exported iMessage conversations into print-ready PDF books, preserving message bubbles, dates, photos, reactions, and cover pages.
-
7160
Minutesmith Keeps Meeting Notes on Your Mac
A macOS app that records, transcribes, summarizes, and lets you search meetings and lectures entirely on-device.
-
7161
Misekabe — When a Shop Wall Becomes a Gallery
Misekabe connects local shops with artists, displaying signed, numbered edition prints that customers can buy by scanning a QR code beside the work.
-
7162
MMA GOAT List, With the Rules Exposed
An interactive UFC GOAT ranking board that scores fighters by opponent rank, finishes, era, losses, short-notice bouts, and other adjustable rules.
-
7163
mmScribe++ Turns Air-Writing Into Radar
An interactive research demo that draws a hand trajectory, simulates its micro-Doppler radar signature, and recognizes open-vocabulary air-written words.
-
7164
MobileShots Gives Screenshots a Real Device to Live In
A browser-based mockup tool that places app screenshots on 17 real 3D device models, then builds the lighting, reflections, shadows, and background around them.
-
7165
Momentum Solve Keeps Higher-Order Optimization Intact
Momentum Solve is an API-oriented optimization tool for constrained PUBO and QUBO problems that works directly with higher-order polynomial objectives.
-
7166
Monitor Mirror: See the screen, not the angle
An Apple utility that uses an iPhone to capture an angled monitor and streams a perspective-corrected view to a nearby iPad.
-
7167
Mossbench Measures the Web Instead of Repeating It
An independent research project measuring web infrastructure, with free tools, technical guides, raw data, and the scripts used to produce its findings.
-
7168
MOT Risk Index: Which Cars Fail More Than Their Age Predicts?
An age-adjusted ranking of MOT failure risk across 25 car families, based on 16.1 million official DVSA initial tests from 2024.
-
7169
Mox Finds the One
Mox is a practice tool for social dancers that analyzes their own songs, finds the musical “1,” separates instrument lanes, and labels sections in dance vocabulary.
-
7170
My Holiday Log — a child’s holiday, turned into a book
A journaling app for children aged 3–10 that turns their spoken holiday stories into illustrated pages, worksheets, and a printable book.
-
7171
My Last Bike, Built to Be the Last One
A Dutch-built titanium bicycle designed to serve as both a road bike and a gravel bike.
-
7172
長浜海浜ガイド: a slower day by the sea
A detailed unofficial guide to Nagahama Kaihin Park in Atami’s Izu-Taga area, covering swimming, playgrounds, facilities, access, nearby food, and seasonal events.
-
7173
Negativo, the photo library that refuses to own your photos
A native macOS photo catalog that indexes files in place, stores ratings and keywords in standard XMP sidecars, and charges $69 once instead of asking for a subscription.
-
7174
Nellie, the personal shopper who watches Nellis Auction
Nellie tracks public Nellis Auction listings in six cities and alerts shoppers when items matching their criteria are nearing auction close at a promising price.
-
7175
Never Retype, the purchase-order reader that leaves the last word to a person
Never Retype reads purchase orders from PDFs, email bodies, scanned faxes, and paper photographs, then turns them into drafts in an order system for human approval.
-
7176
New View History Reconstructs the Footage History Never Had
A cinematic documentary series uses disclosed AI-generated reconstructions to show how historical events may have looked before cameras could record them.