Developer Tools AI Tools

Local-first, open-source terminal for managing Claude Code and Codex sessions with auto-resume, quick actions, worktrees, and session transfer tools.

MathCode is a terminal AI coding agent for mathematical formalization: it turns plain-language math problems into Lean 4 theorems and attempts formal proofs, with a persistent Lean REPL and supporting theorem/axiom libraries.

Open-source, self-hosted monitoring for how a brand appears in AI assistant answers. It tracks mentions across models, generates prompt variations, trends visibility over time, and benchmarks competitors.

Open-source test runner for AI agent skills and multi-step workflows. It runs the same scenario across supported harnesses, captures evidence from tools, commands, files, and transcripts, and lets you assert on the observed behavior.

Open-source, plan-driven multi-agent coding loop for repositories, with separate planner, coder, and reviewer roles that can use different providers and models.

Browser-local tool that checks AI agent instructions for missing written guardrails against 23 public controls. It supports pasted prompts, local files, and public GitHub files, with CLI and GitHub Action options for recurring checks.

A minimalist, terminal-native coding agent written in C. It runs as a single native binary, supports local models through llama.cpp and Ollama, and can also connect to OpenAI, Anthropic, OpenRouter, and Codex.

Parley is coordination infrastructure for autonomous coding agents. It lets agents hand off work asynchronously, records each relay in an append-only flight recorder, supports escalation, soft file-locking, and works with Claude Code, Cursor, Codex, Copilot, Antigravity, and any MCP client.

A terminal-based AI coding agent written in Go. It supports multiple model providers, minimal built-in tools, skills, MCP, subagents, session resume, and compact context handling for software development workflows.

Ambient macOS light strip for AI coding agents. Shows agent state beside the Dock with eight virtual LEDs and supports publishing status over a local CLI/API.

unYOLO is a framework for building credential brokers and proxies for AI agents. It keeps provider credentials out of the agent, applies local policy rules, supports timed grants and operator approvals, and includes brokers for GitHub, Hugging Face, and approved Unix commands.

An open 30B agentic model from Meta designed to run locally on consumer hardware for coding, function calling, and other always-on agent workflows.

Pier gives each coding-agent session its own cloud VM on the user’s AWS account, with parking, resuming, and repo setup built in.

Open-source SDK for connecting AI agents to Slack, Microsoft Teams, Discord, and Telegram with native interactive UI and human approval flows.

A web calculator for estimating whether local LLMs fit on specific hardware and how fast they may run. It covers VRAM, token throughput, latency, power, and cost across multiple GPUs and devices.

Mint MCP is an AI developer tool for generating 3D models, worlds, materials, asset packs, and audio from coding agents like Cursor, Claude, and Codex. The page includes install steps, example prompts, and workflow guidance for building 3D apps and assets.

Stonefold is a deterministic enforcement gateway for AI agents. It sits between an agent and real systems, validates typed intents, applies policy, supports human approval and kill-switch controls, and records an audit trail for every attempt.

AI ETL tool for transforming tabular data in natural language. It supports CSV, JSONL, Parquet, and Arrow files, runs in the browser and CLI, and can export workflows as Python scripts.

A Rails-native platform for building, testing, deploying, and monitoring AI agents inside Ruby on Rails apps. It includes a DSL, docs-first workflow, BYOK provider keys, playbooks, connectors, and unified tracing/debugging.

Doubt is an open-source, zero-dependency CLI and Agent Skill for turning contested questions into source-grounded evidence maps with supports, contradictions, unknowns, and portable HTML output.

A lightweight API key proxy for self-hosted llama.cpp servers with per-user token usage tracking, rate limiting, and multi-server routing.

A local-first TypeScript toolkit for crash-testing AI agents and MCP servers, replaying failures deterministically, and turning broken traces into regression tests.

Engram is an open-source learning engine for Claude Code and other agentic coding platforms. It turns AI help into a study loop with tutor-style prompts, blind recall checks, and spaced-review scheduling so concepts stick longer.

A Go-based homelab CLI for checking server health, listing containers, mapping ports and topology, installing self-hosted apps, and exposing structured JSON output for scripts and AI agents.