Stars
APALACHE: symbolic model checker for TLA+ and Quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Turn any technical book PDF into a Claude Code skill — ready to study, reference, and use while you work.
⚙️🦀 Build modular and scalable LLM Applications in Rust
Iterative artifact refinement with investigation-first judge board - constructs problem-specific judges that read the code, understand the problem, and propose evidence-based improvements
Multi-agent autonomous SDLC framework. Spec to deployed app. PRD, GitHub issue, OpenAPI/JSON/YAML, or one-line brief. 5 AI providers, 11 quality gates.
Experimental skills for Claude Code Superpowers - new techniques and tools
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
A Claude Code plugin that reverse-engineers clean behavioral specs, test vectors, and acceptance criteria from any codebase, producing a provenance trail so a fresh team can reimplement without inh…
A Bun CLI that ingests Claude Code and Codex session transcripts, generates LLM-powered daily summaries, and serves a browsable web UI for your engineering journal.
Iterative development methodology plugin for Claude Code — extracts requirements, defines walking skeleton, loops through audited sprints autonomously
SPEC-First Agentic Development Kit for Claude Code — 24 AI agents + 52 skills with TDD/DDD quality gates, 16-language projects, 4-language docs. Go CLI, zero deps.
A collection of 100+ specialized Claude Code subagents covering a wide range of development use cases
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Containerization is a Swift package for running Linux containers on macOS.
The open agent skills tool - npx skills
The agent that grows with you
OpenViking is an open-source context database designed specifically for AI Agents(such as openclaw). OpenViking unifies the management of context (memory, resources, and skills) that Agents need th…
An agentic skills framework & software development methodology that works.
Pi extension for async subagent delegation with truncation, artifacts, and session sharing
Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…
GoMLX: An Accelerated Machine Learning Framework For Go
Write low-level WebAssembly, from JavaScript
See where your AI tokens go. Interactive TUI dashboard for Claude Code, Codex, and Cursor cost observability. npx codeburn
Autonomous experiment loop extension for pi
Create executable documents that demonstrate an agent's work