Developer Tools AI Tools

A semantic diff tool for Sigil code that highlights contract, effect, signature, and test-impact changes for reviewers and agents.

A local coordinator for parallel AI coding agents. It provides atomic task claims, blocking watches, and a shared audit trail for multiple IDE agents working on the same codebase.

A local MCP server for AI coding agents that records why code changes were made and stores that history in SQLite next to the project.

Open-source platform for governing AI agents across clouds and stacks, with a control plane, sidecar-based data plane, policy enforcement, observability, and audit trails.

A TypeScript CLI and SDK for testing whether Agent Skills improve model outputs by running with-skill vs baseline evaluations and generating reports.

faz is a safety layer for AI agents that query databases. It sits between the agent and your data, adding RBAC checks, SQL/AST inspection, injection detection, guardrails, audit logging, and MCP/REST access.

An open-source CLI for testing LLM prompts across consistency, latency, cost, and behavior, with HTML reports and support for OpenAI and Anthropic.

An open-source memory governance layer for AI agents. It adds deduplication, conflict detection, decay, archival, and explainable retrieval so agent memory can be managed with more control than passive storage.

ArcNext is an Electron-based terminal emulator built for AI-assisted coding workflows, with Arc-style workspaces, split panes, an integrated browser, and an agent bridge for controlling browser panes from a terminal session.

A framework-agnostic checkpointing tool that helps AI agents resume work after context loss or session death. It saves goals, constraints, decisions, touched files, and token usage, then rebuilds a structured resume prompt for continuation.

Open-source tool for visualizing and analyzing AI agent sessions, with personalization tips, dashboard analytics, and support for multiple coding agents.

Nimbalyst is a visual workspace for building with Codex, Claude Code, and other coding agents. It combines collaborative editors, session management, task tracking, git/worktree tools, and a mobile app for managing agent work on the go.

oruk is a live broadcast intelligence API for real-time news. It offers REST endpoints, SSE streaming, webhooks, and an MCP server for use in AI apps and developer workflows.

An AI model gateway for builders offering 35+ models through a single OpenAI-compatible API, with instant API key delivery and pay-as-you-go credits starting at €1.

Stroq is a local action firewall for AI coding agents. It scans tool output, marks risky sessions, blocks dangerous follow-up actions, and keeps a hash-chained audit log, with support for Claude Code, Cursor, Codex, Copilot CLI, Windsurf, OpenClaw, and MCP clients.

A headless Roslyn/MSBuild indexer for C# that gives coding agents compiler-resolved usage, reference, inheritance, and override data across projects.

Bastiontrace is a Python library for analyzing AI agent tool-call traces to locate prompt injections, identify where they landed, and map the resulting blast radius.

Open-source pixel-art mission control for Claude Code agents. It turns projects into offices on a campus map, shows live agent status and spending, and lets you orchestrate tasks across workspaces from one desktop app.

dbq is a CLI for coding agents to run read-only SQL against Oracle, MySQL, Postgres, and SQL Server with token-light output and built-in safeguards.

Ante is a self-contained coding agent for the terminal with local model support, multi-agent orchestration, and programmatic server modes. The docs highlight offline operation, low resource use, public benchmarks, and integrations for providers, MCP, Slack/Discord, and custom engines.

An evidence-aware mathematics runtime for LLMs and a Python/MCP server. It combines exact, symbolic, formal, certified-interval, and numeric computation with typed outputs, trust labels, and provenance tracking.

Reference implementation for building and understanding AI evaluation systems, including rule-based evaluation, human review, LLM-as-a-Judge, online evaluation, and experiment comparison for a flight search app.

A macOS desktop product for running multiple coding agents in parallel from one workspace, with shared accounts, memory, and skills. The page also highlights Lanes Link, an MCP-based endpoint for connecting agent clients to accounts, context, and access profiles.

A browser extension that lets users move AI chat threads between ChatGPT, Claude, and Gemini without retyping. It supports exporting/importing local .chatbridge files and emphasizes browser-only, local-first handling.