A benchmark for LLMs on complicated tasks in the terminal

Skills for pi coding agent (compatible with Claude Code and Codex CLI)

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

Create, run, rate, and iterate on your Claude Skills

Decision graph tooling for AI-assisted development - track every choice, query your reasoning

A single-user ATProto PDS that runs on a Cloudflare Worker

Tools to validate and secure your npm ecosystem lockfiles.

A tool for people curious about the React Server Components protocol

A Relay Compiler compatible shim for using fetch when Relay is too much

One command to fix CVE-2025-66478 (React 2 Shell RCE) in your Next.js / React RSC app.

Evals for Next.js up to 15.5.6 to test AI model competency at Next.js

React + Dear ImGui + Static Hermes

Run independent ATProtocol networks

atproto lexicon typescript toolkit

A plugin to enable the 'use cache' directive in Vite.

Protoflare helps you build AT Protocol apps on Cloudflare faster.

A third party Appview for ATproto

AT Protocol automation service written in Rust

Simple Raycasting Example in Lean4 using SDL3

A tool for shared writing and social publishing

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

The Lean Computer Science Library (CSLib)

agent builder

Documenting common pitfalls and footguns in Lean

Lean 4 library of mathematics independent of Mathlib for autodidactic purposes.

Third-party Bluesky client designed with a Windows Longhorn-like aesthetic.

Lean 4 programming language and theorem prover