Loading...
Loading...
Refly: The first open-source agent skills builder. 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 Refly. This is an automatic list. We have not written a researched verdict for Refly 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.
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 ...
Autonomous Engineering
Bosun is an open source control plane for running autonomous coding agents as an engineering fleet. It plans work, routes each task to an executor, enforces quality gates and manages the pull request lifecycle from branch to merge, so AI agents write code while Bosun handles coordination, recovery and release. It insta...
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...
Formerly Better Chatbot.
Better Chatbot has been renamed Navigator and is now developed by the German company Keinsaas as an open source AI workspace for businesses. It brings chat with multiple language models, reusable agents, MCP servers and workflow automation into one interface, and runs in the browser or as a Windows desktop app. The ori...
terminally online
Milady is a local first frontend for working with AI agent runtimes. According to the vendor, it lets a user open a local runtime on their own machine, sign into Eliza Cloud, or control an existing remote instance from one interface. The site's tagline describes it as agents that ship apps, and the page links to the la...
A symbiotic AI agent that remembers everything, challenges you, and extends your cognition.
Symbiotic AI is an open source method and toolkit for keeping an AI assistant's context in plain Markdown files that the user owns. Instead of relying on one vendor's memory feature, a person keeps a small set of version controlled files that any model can read at the start of a session. The system uses four files. SO...