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 3

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. xtop xtop Public

   JavaScript

4. blktop blktop Public

   JavaScript

5. flowtop flowtop Public

   JavaScript

6. bytetop bytetop Public

   iotop for the wire — a live, per-process, per-destination TCP traffic dashboard.

   JavaScript