developer tools

A Lean 4 relational knowledge language for project relationships, rules, and queries, with a Clojure runtime/toolchain and examples inspired by Zanzibar.

A language server for agent skills that turns /skill-name and $skill-name into navigable symbols with completion, rename, go-to-definition, and reference tracking across editors like VS Code, Zed, Neovim, and Helix.

Dependency-free Python library that compiles a declarative JSON query format into safe, parameterized SQL for LLM workflows, REST APIs, and frontend-backed data tables.

Local open-source coding agent for developers, with a macro-style command workflow and benchmark results showing fewer turns and better pass rates than Codex CLI in the published comparison.

Persistent memory for coding agents that stores hard-won codebase discoveries and revalidates them when files change. The repo describes a CLI hook flow for Claude Code and Codex, with install steps, command examples, and an evaluation claim showing fewer tokens on repeat questions.

A harness that runs MCP servers in a disposable Linux sandbox and logs their real startup behavior, including file access and outbound network connections.

A Claude Code plugin and MCP server that keeps a persistent, read-only memory of a repo so agents can ask broad codebase questions without re-reading files every session.

GetSuperpower is a CLI and workflow bundle for coding agents that packages multi-step agent workflows into one installable skill tree.

Local-first code intelligence MCP for AI coding agents. It gives tools like Claude, Cursor, Codex, and other MCP-compatible agents an indexed evidence layer for repo search, symbol lookup, impact analysis, and test selection before editing code.

A local MCP server that builds a deterministic architecture graph of a codebase so AI coding agents can inspect modules, symbols, routes, dependencies, and cross-repo relationships from source-backed facts.

A Claude Code plugin that fills agent wait time with rotating dev news in the status line, with HN, GitHub Trending, per-language sources, auto-translation, and short summaries.

Google’s announcement for a built-in computer use tool in Gemini 3.5 Flash. The page explains that developers can use it to build agents that interact across browser, mobile, and desktop environments, with safety features and access through the Gemini API and Gemini Enterprise Agent Platform.

A tool that checks how an AI agent reads a startup website, highlighting what it understands in the first seconds and where it gets lost.

OpenBot is a local-first harness for running AI agents. It includes a small event API, local file storage, a built-in orchestrator agent, a deterministic state agent, and support for custom agents and plugins loaded from disk.

Open-source CLI and plugin that lets Claude Code run workflows, teams, and subagents on third-party models like DeepSeek, GLM, Kimi, Qwen, or Codex-compatible providers.

Dino is a VS Code AI coding agent designed for affordable coding plans, with staged diff-based edits, local conversation storage, and support for multiple model providers.

MCP server for Unreal Editor that exposes a small MCP surface for a large set of editor automation tools. It supports blueprint editing, asset management, animation authoring, trace analysis, PIE actions, and Python execution, with setup notes for Unreal Engine 5.x and MCP-compatible clients.

Conan is a native macOS app that adds a live HUD around Claude Code, showing prompts, tool calls, skills, context usage, and session activity in real time. It’s a paid one-time purchase for Apple silicon Macs.

Offline duplicate-code detector for codebases where AI agents write most of the code. It scans for structurally duplicated functions, tracks duplication over git history, and can fail CI when new code repeats existing logic.

A fail-closed execution firewall for AI agents that quarantines MCP tools, proxies OpenAI-compatible requests, and emits signed receipts for offline verification.

dbmachine turns a Postgres database into a self-describing backend that AI agents can operate through a CLI and YAML spec. It compiles schema, constraints, RLS, audit logging, and custom operations into a local Postgres setup.

A free AI-readiness audit tool for Shopify catalogs that scores product visibility for AI shopping agents and flags catalog issues like weak titles, short descriptions, missing attributes, and sparse images.

A black-box benchmark report on how AI-generated tests detect functional bugs in live APIs across 20 scenarios and 7 systems.

Ouijit is an open-source task and terminal session manager for coding agents. It adds agent status, notifications, automatic worktree management, and VM sandboxing, with support shown for Claude Code, Codex, and Pi.