AI agents running research on single-GPU nanochat training automatically

Skills, MCP servers, Custom Agents, Agents.md for SDKs to ground Coding Agents

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

An agentic skills framework & software development methodology that works.

Skills Catalog for Codex

Public repository for Agent Skills

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

L5 is a fun, fast, cross-platform, and lightweight implementation of the Processing API in Lua.

solver for the reachability modulo theories problem

Memory Manager For Small(ish) Microprocessors

Software model checking via exists-forall solving

Automated Reasoning Infrastructure & Applications

A program analysis, verification, and optimization framework

A language for constraint-guided and efficient LLM programming.

LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

The math library of Lean 4

Code2Inv: Learning Loop Invariants for Program Verification

This is a public version of LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision

Facilitating high-level interactions between Wasm modules and JavaScript

🎞️ flim - Filmic Color Transform

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Apron Numerical Abstract Domain Library

ELINA: ETH LIbrary for Numerical Analysis

Library for Decision Diagrams over Linear Arithmetic

PPLite: convex polyhedra library for Abstract Interpretation

A Super-Lightweight Annotation Tool for Experts: Label text in a terminal with just Python