Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]

Proofnet BTC SDK - MIT client helpers for BTCore-routed Proofnet and ProofWallet services.

A drop-in Apache Spark replacement written in Rust, unifying batch processing, stream processing, and compute-intensive AI workloads.

Tau Coding Agent - like Pi, but twice as much

Browser Harness | Self-healing harness that enables LLMs to complete any task.

Skills for Real Engineers. Straight from my .claude directory.

Agent OS: Stop prompting. Start specifying.

OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.

LLM-compiled knowledge bases for any AI agent. Parallel multi-agent research, thesis-driven investigation, source ingestion, wiki compilation, querying, and artifact generation.

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

A dynamic library providing Virtualization-based process isolation capabilities

Spec-driven development (SDD) for AI coding assistants.

Reference code for the Meta-Harness paper.

age-encrypted secrets for NixOS and Home manager

Named Tmux Manager: spawn, tile, and coordinate multiple AI coding agents (Claude, Codex, Gemini) across tmux panes with a TUI command palette

Tool to build & run portable, lightweight, self-contained virtual machines.

The cost efficiency of S3 with the speed of local RAM. A multi-tenant vector and full-text search engine featuring a tiered RAM → NVMe → S3 architecture for microsecond latency on top of object sto…

Agent-CI is local GitHub Actions for your agents.

Hermes Agent 从入门到精通 · 橙皮书系列 · Nous Research 开源 AI Agent 框架实战指南

(S)AGE - (Sovereign) Agent Governed Experience

Pragmata Pro doppelgänger made of Iosevka SS08

FX is a compiler, proof assistant and a programming language built on graded dependent type theory

The best-benchmarked open-source AI memory system. And it's free.

The memory substrate for AI agents and developer tools. Git-versioned, file-native, MCP-first.

An LLM-compiled personal knowledge base. Drop in your papers, articles, and notes. sage-wiki compiles them into a structured, interlinked wiki — with concepts extracted, cross-references discovered…

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

Convert documentation websites, GitHub repositories, and PDFs into Claude AI skills with automatic conflict detection

DSPy: The framework for programming—not prompting—language models