Developer Tools AI 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.

Open-source resilience and debugging proxy for autonomous AI agents. It checkpoints LLM and tool calls, supports cache recovery, human-in-the-loop approval, multi-model fallback, and exports trajectories for fine-tuning.

Local-first approval and receipt logging for AI agent sessions, with tamper-evident records and signed approvals for consequential actions.

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.

Open-source TypeScript crawler for AI agents that needs bounded web access, structured extraction, PDF parsing, JavaScript rendering, and MCP support. It outputs Markdown, JSON, and JSONL evidence records with provenance and crawl limits.

Jaybase is an append-only fact store for AI agents handling critical business workflows. The repo explains its event model, retry and conflict handling, encryption, single-tenant design, and includes install and API usage examples.

ContextSpy is an LLM context profiler that intercepts agent traffic, breaks down token usage, and visualizes how prompts change across requests and sessions.

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.

A Python framework for local document search that replaces traditional embedding-based RAG with BM25 indexing, Meilisearch, and an agent loop for search, fetch, and citation-backed answers.

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.

An AI-powered Obsidian plugin that turns notes into a self-organizing wiki with auto-generated entity pages, bidirectional links, traceable answers, and local-first support.

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

Open-source Kubernetes-native runtime for LLM agents. CLRK runs agents in gVisor sandboxes and intercepts outbound traffic for observability, policy enforcement, credential injection, and routing control.

A Claude Code skill that delegates coding, review, analysis, and research tasks to Google Antigravity CLI sub-agents so Claude can keep working while background jobs run.

Terminai is a transparent terminal wrapper that adds an AI overlay for Codex, Claude Code, and custom CLI agents. It gives agents live terminal context plus approval-gated shell suggestions while preserving the normal terminal workflow.

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 macOS/iTerm2 utility that makes the terminal tab pulse orange when Claude Code needs user input and turns green when a turn finishes cleanly.

Mission-control desktop app for running AI coding agents in parallel across Git worktrees, with inline code review, session isolation, and support for tools like Claude and Codex.

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.

An open-source Python tool that turns multi-persona AI debate into pre-registered, time-anchored predictions and scores each seat against reality with Brier-style calibration. It includes a CLI, sample workflows, docs, and examples, plus a BYOK design for running on your own model key.

Command-line interface for managing RevOS resources, including tables, scores, segments, actions, cubes, organizations, and AI instructions, with project scaffolding and IaC workflows.