Loading...
Loading...
Imcodes: The IM for agents. Shared Agent Context & Memory, supervised execution, and cross-agent audit across AI providers. 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 Imcodes. This is an automatic list. We have not written a researched verdict for Imcodes 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 ...
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...
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 native Emacs buffer to interact with LLM agents powered by ACP
This is an Emacs package by Álvaro Ramírez that provides a native Emacs shell buffer for working with AI coding agents. It speaks the Agent Client Protocol through its companion library acp.el, so any agent that supports the protocol can be driven from inside the editor without switching to a separate terminal. It is ...
Marketing frameworks that AI actually executes.
AI Marketing Claude Code Skills is a library of reusable agent skills for marketing work, published by marketing leader Brian Wagner. Each skill is a set of instructions that gives an AI tool a repeatable framework for a specific task, such as auditing a homepage for clarity, proof, objections and call to action struct...
Clone any website with one command using AI coding agents
AI Website Cloner Template is an open source project template that has an AI coding agent recreate an existing website as a clean Next.js application. After setting up a copy of the repository, the user opens it in an agent with browser access and runs a clone website command with the target URL. The agent inspects the...