Highlights
- Pro
Stars
Ray Fernando's collection of Skill files for AI coding agents. First up: running-bug-review-board, a real-user QA workflow with a Bug Review Board (BRB) feedback loop.
autonomous systems engineering cli agent for any cloud environment: AWS, GCP, Cloudflare, etc
Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Delegate tasks to Codex and Gemini directly from within Claude Code.
Python interface for unitree sdk2
Unitree Go2, Unitree G1 support for Nvidia Isaac Lab (Isaac Gym / Isaac Sim)
The API to search, scrape, and interact with the web at scale. 🔥
A light framework for building agentic tools.
ChatGPT Advanced Voice Mode Gets an Avatar!
Autonomous coding agent as an SDK, IDE extension, or CLI assistant.
ai automated newsletter
A framework for building realtime voice AI agents 🤖🎙️📹
A curated list of ordinals and inscriptions ecosystem
<⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agents quickly and reliably.
the first library to let you embed a developer agent in your own app!