Pinned Loading

1. evolve evolve Public

   Drop-in passive A/B evolution for AI coding assistants

   Rust 3 2

2. lemmas lemmas Public

   Four reliability primitives for any LLM API: Chain-of-Verification, self-consistency, prompt-drift detection, hedged execution.

   Python

3. SOFAR SOFAR Public

   Drop-in adapter that helps any HuggingFace transformer stop forgetting things buried in long context. Bio-inspired SVD-on-residual-stream channel mapping + LoRA beam-steering attention.

   Python

4. aiproof aiproof Public

   ESLint for AI prompts — a static analyzer for LLM system prompts, user templates, Jinja/Mustache, YAML configs, and SDK call sites.

   Makefile

5. ghost ghost Public

   Windows desktop automation framework. Like Playwright, but for native apps.

   Rust

6. kryos-lang kryos-lang Public

   Kryos: a capability-safe systems language for trustworthy software and governed AI agents

   Rust