developer 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.

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.

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.

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 local-first TypeScript toolkit for crash-testing AI agents and MCP servers, replaying failures deterministically, and turning broken traces into regression tests.

A local merge queue for parallel Claude Code agents that serializes landings, builds, and test runs to avoid push races and shared-resource flakiness.

Headroom is a macOS menu bar app that compresses noisy prompt context before it reaches Claude Code and Codex, aiming to cut token usage by about 50% while keeping the original retrievable on demand.

cloro is an API for scraping and structuring results from search and AI search surfaces like ChatGPT, Gemini, Perplexity, Copilot, Google Search, and AI Overview. The page shows request and response examples, supported models, pricing tiers, and claims of parsed markdown, sources, and citations.

A public MCP server from PixelGust that lets Claude, Cursor, and other MCP clients query live weather, forecast, climate history, terrain, fire risk, flood susceptibility, and related environmental data.

A 30-second WebGPU benchmark that measures a device’s memory-bandwidth ceiling for local AI and checks for a WebGPU subgroup correctness bug, with receipts, projections, and comparison data.

CodeTrain is a hands-on AI coding trainer that teaches developers on their own codebase by making them write each step themselves, with hints, test runs, and progress tracking.

Aloud is a macOS tool that reads Claude Code and OpenAI Codex replies out loud using local text-to-speech. It includes session-level controls, keyboard shortcuts, hook integration, and a clear install flow for developers.

API-first uptime monitoring with REST, GitHub Action, and MCP support so developers and AI agents can create monitors, check status, and route incidents from the tools they already use.

Coasty is a computer-use API for running autonomous tasks on managed Linux or Windows machines, building multi-step workflows, and dropping down to lower-level prediction primitives when needed.

Open-source self-hosted voice AI agent for Asterisk/FreePBX with Audiosocket/RTP support, a modular STT/LLM/TTS pipeline, and quick-start docs for deployment.

CLI tool for versioning, diffing, rolling back, and searching AI prompts, with Git-style workflows for prompt management.

Sipp is a zero-dependency AI inference runtime for running models in the browser and across Node, Rust, Python, and self-hosted gateways. The page shows install commands, a symmetric client API, benchmark claims, and live demos for chat, agents, vision, and game use cases.

HALO is an open-source local debugger and optimizer for AI agent traces. It collects execution traces, analyzes recurring failure modes with an RLM-based engine, and feeds findings into a coding agent to improve the harness.

Open-source AI agent monitoring platform with tracing, issue grouping, evals, semantic search, alerts, and MCP access for coding agents.

An Android accessibility service that lets agents and scripts inspect the UI tree and control a phone from the CLI, REST, or MCP with token-gated permissions.

A self-hostable SMS relay for AI agents that uses an old Android phone and a prepaid SIM, exposed over MCP so clients like Claude, ChatGPT, and Cursor can send and receive real texts.

CodeSummary turns GitHub repositories into AI-generated, reviewable living documentation and exposes the results to agents over MCP. It also hosts docs on custom domains and keeps them updated as code changes.

Ironsmith is an open-source macOS menu bar app that generates small native SwiftUI apps from prompts, using local or hosted LLMs.

Dochost turns HTML or Markdown into a shareable hosted link, with live Markdown preview, free no-signup hosting, and a public API for agents. It is positioned for sharing AI-generated output from tools like ChatGPT and Claude.