developer tools

git-lrc is a Git-based AI code review tool that runs on commit and surfaces risk categories, inline findings, and a summary deck for each review.

Chrome extension that brings AI coding help directly into the browser for debugging, code explanations, security reviews, and solution generation.

Lathe generates multi-part, hands-on technical tutorials from prompts and provides a local UI plus CLI workflow for working through them with LLM-assisted skills.

A Python filter layer for LLM apps that evaluates responses against a Lean-verified Scherf logic backend and can pass, flag, correct, or block output.

A Git-native CLI task ledger for coordinating work between humans and coding agents, with task claiming, notes, releases, handoffs, and audit history stored in files and versioned in Git.

Chrome extension that extracts AI-generated HTML from ChatGPT, Claude, and Gemini, then previews, downloads, or publishes it to targets like Netlify, GitHub, FTP, or a self-hosted agent.

A weekly security audit of Atlassian’s remote MCP server, focused on OAuth 2.1, RFC 9728 discovery, PKCE, DCR, and token handling. The page documents why the server’s discovery chain fails and includes HTTP evidence links.

A Rust-based CLI that fetches web pages, strips page chrome, and outputs readable Markdown for AI agents and shell workflows.

A Mac menu bar app that schedules Claude Code prompts to run later on the user’s Mac, using local files, skills, and CLI tools. Results post back when the job runs.

Gread is a Skill and MCP server that gives coding agents access to the source code and docs of public GitHub repositories, with support for both skill-based and MCP client integrations.

A Docker-based sandbox for running AI coding agents with dropped capabilities, no-new-privileges, and no Docker socket access. It wraps the pi terminal coding agent and supports local file edits, persistent auth, and skills mounts.

An autonomous neuro-symbolic formal verification engine for Lean 4. The repository describes a proof workflow that generates tactics and then checks them deterministically in Lean, with example proofs, verification steps, and telemetry outputs.

An open-source Llama2 inference engine written in x86 real-mode assembly that fits in 1277 bytes and can boot directly from disk before any OS loads.

A Microsoft Word task pane add-in that embeds a Pi Agent-powered assistant for M365 Word, with production and local sideloading manifests plus build and test instructions.

Gate is an agentic desktop OS for developers that runs AI desks locally, extracts reusable skills from completed work, and logs every action with receipts. The page shows install flow, platform limits, model requirements, sandboxing, and a clear comparison with Cursor/Aider.

FastAPI backend for the Brush Up tutor app. It retrieves from a markdown note corpus, expands context through graph neighbors, and calls Anthropic to generate grounded programming help for Python, Ruby, and JavaScript.

GitGalaxy is a Python-based static analysis and knowledge graph engine for deep repository intelligence. It maps codebases at the function level, supports 50+ languages, runs locally, and exports JSON and SQLite for querying and AI-agent workflows.

A Claude Code playbook for engineers who want to drive internal adoption on their team, with guidance on what to share, how to answer questions, and a 30-day rollout plan.

A dated research report from Vouch that analyzes the MCP registry at scale, including corpus growth, transport split, credential classes, schema quality, and unreachable servers. It also points to queryable live data and the methodology behind the counts.

Singularity is a developer tool that gives coding agents procedural memory so repeated tasks can be handled with fewer tokens and less setup. It includes a CLI, installer scripts, hooks for multiple agents, and workflow records that learn from past sessions.

Open-source CLI that analyzes AUDR traces to find avoidable LLM calls, wasted tool usage, context growth, and other execution inefficiencies in agent runs.

A Claude Code plugin that brings your status line into the Claude Desktop app, showing the same command output above the prompt.

An interactive browser demo that visualizes attention in LLM text generation, letting users hover or tap tokens to inspect which earlier tokens influenced them.

Neuro is an AOT-compiled programming language for AI workloads, built on LLVM and positioned around native performance, tensor work, and future MLIR/Enzyme/GPU support.