Pinned Loading

1. consult consult Public

   Engineering quality focused skills for AI coding agents that keep humans in the loop.

   TypeScript 1

2. do-eval do-eval Public

   General-purpose eval framework for coding harness extensions and skill libraries

   TypeScript

3. pi-proof pi-proof Public

   A proof-first Pi coding assistant extension that guides behavior changes through a red-green-refactor workflow.

   TypeScript 2

4. pigs-in-space-zed pigs-in-space-zed Public

   A dark color theme for Zed designed to be easy on the eyes. Inspired by Solarized with a pastel twist.