Loading...
Loading...
Haft: Engineering decisions engine that know when they're stale. It is listed under Development & Code on AI Registry as a free tool.
The tools below are approved listings in the same category, ordered by how closely their tags match Haft. This is an automatic list. We have not written a researched verdict for Haft yet, so treat it as a shortlist and check each vendor's pricing page before switching.
Built from each tool's listing. Vendors can update their own listing after claiming it.
10x - Up to 20x faster AI coding with multi-step Superpowers.
10x is a terminal based AI coding agent that reads a whole codebase to plan, generate and verify code changes. It runs in the shell rather than as an IDE plugin, with full file system access for reading, writing and editing files, glob and grep search, and the ability to run commands, scripts and build tools while show...
A dashboard for running and coordinating multiple AI CLI agents at once.
CliDeck is a browser dashboard that runs AI coding agents such as Claude Code, Codex, Gemini CLI and OpenCode side by side in one window. Each session is a real terminal in its own PTY, and CliDeck only wraps them in a chat style workspace, so the agents run unmodified and are unaware of the dashboard. It is for devel...
Unlimited FREE AI coding.
9router is a local AI gateway that sits between coding tools and model providers. Developers install it globally from npm, a dashboard opens automatically, and every connected CLI or IDE points at a single OpenAI compatible endpoint on localhost. From there 9router routes each request across more than 60 providers and ...
Manage multiple Claude Code, OpenCode agents from either TUI or Web for easy access on mobile.
Agent of Empires is a session manager for AI coding agents, written in Rust and powered by tmux. It launches agents such as Claude Code, Codex, OpenCode, Gemini CLI and Mistral Vibe, each in its own session, and gives a single control surface for watching and driving all of them, either from a keyboard driven terminal ...
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
Archon is an open source agentic system from FrenzyMath, the AI for mathematics team at Peking University's Beijing International Center for Mathematical Research. It autonomously formalizes research level mathematics in Lean 4, turning informal definitions and proofs into machine verified code across whole multi file ...
Project management skill system for Agents that uses GitHub Issues and Git worktrees for parallel agent execution.
CCPM is an open source project management skill for AI coding agents that brings spec driven development to agent work. It guides an agent from idea to shipped code through a fixed sequence: guided brainstorming into a product requirements document, a technical epic, a breakdown into task files with dependencies, and s...