Pinned Loading

1. lean-eval-klartag-submission lean-eval-klartag-submission Public

   lean-eval submission: klartag_packing (Klartag's lattice sphere packings), original proof, 176 modules

   Lean 2

2. lean-eval-dimitrov-submission lean-eval-dimitrov-submission Public

   lean-eval submission: dimitrov (Dimitrov's form of the Schinzel–Zassenhaus conjecture), original proof, 86 modules

   Lean 1

3. long-horizon-hack-2026 long-horizon-hack-2026 Public

   ledger: a short, dated, falsifiable Markdown record that lets a long-horizon agent resume on any host after a crash or context reset (Long Horizon Agents Hackathon 2026)

   Python

4. loop-hack-2026 loop-hack-2026 Public

   Sentinel: an autonomous data-compliance loop that hires PII and IP checks from the Zero marketplace and enforces verdicts on Nexla and Pomerium (Loop Engineering Hackathon 2026)

   Python

5. species-classifiers species-classifiers Public

   Species classifiers for microcontrollers and the Coral Edge TPU: Google's AIY Vision Kit iNaturalist models (insects, plants, birds) rescued as Apache-2.0 weights, plus new mammal, arachnid, herp (…

   Python

6. pydantic-ai-nimble pydantic-ai-nimble Public

   Nimble's Web Search Agent as a PydanticAI toolset

   Python