Directory
Published directory entries matching your search.
Ponytail 5 is a ruleset for AI coding agents intended to make them write the least code that works. It provides a review command and an audit command, and states tests accompany risky logic. The project reports benchmark comparisons against running without it.
Qodo supports software development with code generation, analysis, debugging, or documentation.
r/codewebchat points to a Reddit community or thread with discussion, updates, troubleshooting, or shared resources.
r/websim points to a Reddit community or thread with discussion, updates, troubleshooting, or shared resources.
r/ZooCode points to a Reddit community or thread with discussion, updates, troubleshooting, or shared resources.
Repomix supports software development with code generation, analysis, debugging, or documentation.
Skills is a directory for discovering and installing skills for AI agents. Skills are reusable capabilities that provide procedural knowledge helping agents accomplish specific tasks more effectively. Installation uses a skills CLI command, and the leaderboard ranks skills based on anonymous telemetry data collected from that CLI.
Software Foundations is a series introducing the mathematical foundations of reliable software. Each volume's text and exercises are formalized as a proof script for the Rocq proof assistant. It targets readers from advanced undergraduates to researchers; no background in logic or programming languages is assumed.
Supermaven is an AI code completion tool that uses a 1 million token context window to provide code suggestions. It is compatible with VS Code, JetBrains IDEs and Neovim, and includes a chat interface for working with models including GPT-4o and Claude 3.5 Sonnet. A free tier is offered, and Pro adds a 1 million token context window.
SWE-bench is a benchmark for evaluating large language models on real-world software issues collected from GitHub. Given a codebase and an issue, a language model generates a patch that resolves the described problem.
Supports software work with AI-assisted coding, testing or application development.
Usage Tracker supports software development with code generation, analysis, debugging, or documentation.
This GitHub Gist, created by user tejainece, hosts a VS Code Marketplace intended for use with the Antigravity project. It was last active on September 25, 2026, and has received 152 stars and 16 forks on the Gist platform.
Websim supports software development with code generation, analysis, debugging, or documentation.
Websim AI supports software development with code generation, analysis, debugging, or documentation.
