Loading...
Loading...
Doop: The open-source alternative to Paper.design. 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 Doop. This is an automatic list. We have not written a researched verdict for Doop 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...
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 ...
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...
Engineering decisions engine that know when they're stale.
Haft is a decision engineering layer for AI coding agents. It addresses a common failure in AI assisted development: a model produces a plausible answer, the team accepts it, and months later nobody can say why the choice was made or whether it still holds. Haft adds structured reasoning skills to your coding agent and...
The IM for agents. Shared Agent Context & Memory, supervised execution, and cross-agent audit across AI providers.
IM.codes is a platform that connects AI coding agents to coding sessions and to the computers where the work happens. Its pitch is an instant messenger for agents: a person or a team of agents can enroll restricted Controlled Nodes and have an agent operate several machines through scoped commands, individual file tran...
The one and only agent harness for complex codebases.
LazyCodex installs an agent harness inside Codex, OpenAI's coding agent, to help it handle complex codebases. It is described as a light port of the Hephaestus deep worker agent from the OmO project, built around goals rather than step by step recipes and around verified completion, meaning work counts as done only whe...