Coding agents

MathCode is a terminal AI coding assistant with built-in Lean capabilities, letting the agent inspect proof goals, check candidate steps, search declarations and verify a finished proof interactively.

• Coding agents

Horizon is a GPU-accelerated desktop app that arranges terminals, coding-agent sessions, browsers and other tools as panels on an infinite 2D canvas, organized into color-coded workspaces.

• Coding agents
• Terminals

Dinotty is a self-hosted, multi-device terminal server built for AI coding agents such as Claude Code, opencode and Codex, keeping sessions alive across devices with server-side terminal emulation and a pane-based workspace.

• Coding agents
• Terminals

DSHCode is a free, open-source desktop application for macOS and Windows that packages DeepSeek Harness's web UI and plugin runtime into an installable Electron app, so it runs without Node.js or a terminal.

• Coding agents

A community-maintained, open-source Windows, macOS and Linux desktop client for DeepSeek's DSH agent runtime, adding plugins, skills, task automation, Git integration, remote development and a choice of visual themes.

• Coding agents

A local-first desktop workspace for running several coding agents and shells side by side, each in a real terminal with its own persistent session, history and layout, so nothing is lost between panes or restarts.

• Coding agents
• Terminals

A multi-machine dashboard for orchestrating many AI coding agents at once, giving each one persistent memory, a code-graph view of what it owns, and a messaging protocol so agents can coordinate directly instead of through a human relay.

• Coding agents

A voice assistant that talks through a project idea with the user, writes the resulting design to a file, then starts and supervises a real Claude Code session on it, announcing out loud when the agent needs input.

• Coding agents
• Speech

A ranked, weekly-updated catalog of AI agent harnesses and orchestration frameworks, with copy-paste templates and playbooks, and an MCP server and dataset an agent can query to pick one.

• Coding agents
• Curated lists

A self-hosted platform that runs a fleet of coding agents, each in its own GPU-accelerated sandbox desktop, coordinated through a spec-driven Kanban board so a team can review and merge their pull requests.

• Coding agents
• Containers

A free, offline coding environment for local LLM agents, pairing Ollama-served open models with an OpenCode-based terminal interface for classrooms and workshops without a network connection or subscription.

• Coding agents
• Tutorials

BossConsole is a native desktop console for running AI coding agents such as Claude Code, Codex, Gemini or OpenCode, giving them a shared browser, terminal, editor and secrets manager, and exposing the console itself as MCP tools the agent can call.

• Coding agents
• MCP servers

An orchestration tool for Claude Code that routes tasks across more than 80 specialized agents, using self-learning hooks and hundreds of MCP coordination tools to improve routing over time.

• Coding agents
• Agent frameworks

An AI coding agent, built on opencode, that adjusts its own tactics from session outcomes through a dual-speed self-evolution system, with recursive subagents and a long-running task engine.

• Coding agents

A minimalist, terminal-native coding agent written in C, distributed as a single small binary, built for developers who run local models and want to audit exactly what their tools do.

• Coding agents

A web interface for the Pi coding agent that keeps agent sessions running in real workspaces on a user's machine or server, supervised from any browser.

• Coding agents

A terminal-native coding agent, written in Rust, that routes execution, reasoning, context-compaction, self-critique and vision workflows to independently configured models rather than one single model.

• Coding agents

A self-hosted, browser-based AI workspace built on the Pi coding agent, letting a user edit files, run commands and review results in one window, with persistent conversations and scheduled tasks.

• Coding agents

An AI-powered code generation agent that runs from the terminal, generating code and explaining its reasoning, with support for running many parallel agent sessions at once.

• Coding agents

A self-hostable kanban and development environment that orchestrates multiple coding agents across providers, with an integrated file editor, terminal, browser preview and git review workspace.

• Coding agents
• Workflow automation

A desktop app that runs multiple pi coding-agent tasks side by side, each in its own thread or git worktree, with an integrated review, terminal and file workbench.

• Coding agents

A local-first, zero-trust agentic IDE that keeps code, git, a terminal, a browser, models and MCP tools inside one durable desktop workspace, with approval and review surfaces for sensitive actions.

• Coding agents
• Editors

An Unreal Engine 5.7 editor plugin that embeds the Claude Code CLI in a docked chat panel and runs an MCP server exposing actor, Blueprint, level and asset editing tools.

• Coding agents
• MCP servers

An engineering pipeline that turns AI-assisted coding into a nine-stage, gated workflow, from requirement through design, development, test and review, usable identically across several coding agents.

• Coding agents
• Agent skills