Loading...
Loading...
Bosun: Autonomous Engineering. 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 Bosun. This is an automatic list. We have not written a researched verdict for Bosun 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.
Bring order to your projects, environments, and day-to-day work.
Aizen is a native macOS workspace for parallel development, where AI agents, terminals, files and browsers run side by side across every project and branch. Each project or branch gets its own environment with terminal panes, file tabs, browser tabs and chat history, so developers can switch between tasks without losin...
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 ...
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...
Stop letting your work go unnoticed.
Meridian is an engineering intelligence workspace for delivery. It connects project health, execution context and team updates in one view, so engineering leaders can see what is moving, what is at risk and which decisions are waiting, instead of assembling status from scattered tools. The workspace shows each project...
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...
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 ...