Pinned Loading

1. SkillScan SkillScan Public

   Security scanner for AI agent SKILL.md files. Static analysis, LLM behavioral prediction, and Docker Sandbox execution.

   Python 7 1

2. Sundial Sundial Public

   A linear-programming solver that runs on the GPU: restarted PDHG (PDLP) as WebGPU compute shaders, native and in the browser. Every Optimal is re-verified in CPU f64.

   Rust 1

3. retrace retrace Public

   Record/replay reverse debugger for Apple Silicon. Runs a macOS binary inside a Hypervisor.framework VM, replays it bit-for-bit, and executes backwards to the instruction — and thread — that last wr…

   Rust 2

4. charpente charpente Public

   Rust