Popular repositories Loading

1. leanscreen leanscreen Public

   A calibrated faithfulness screen for informal↔Lean 4 pairs, on the command line and over MCP. Screens only, never certifies.

   Python 6

2. minertop minertop Public

   Crypto-mining traffic detector for Linux — in ten seconds, see who on your box is talking to a mining pool. Including the things lying about their name.

   JavaScript 1

3. palomar-decanus palomar-decanus Public

   Palomar submission surface for Erdos Problem 647, certified to 10^8 (thin wrapper over decanus)

   Lean 1 1

4. arc-agi-3-audit arc-agi-3-audit Public

   ARC-AGI-3 public-set audit

   Python 1

5. xtop xtop Public

   JavaScript

6. blktop blktop Public

   JavaScript