developer tools

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 workbench report comparing MiniMax M3 and GLM 5.2 on autonomous coding tasks, with scored results, latency and cost data, task-type breakdowns, and examples of where each model performed better.

GRID is a small framework for working with coding agents in a spec-driven way. The repository explains its purpose, basic workflow, and how it can be used in CI/CD to check for spec-code-test mismatches.

An Emacs package that acts like an AI pair programmer and teaching assistant while you code, with save-time reviews, follow-up questions, and architecture memory for local projects.

A Python MCP server that lets a parent LLM delegate work to named sub-agents defined in YAML, with per-agent prompts, model settings, and downstream MCP tool access.

A technical guide that shows how to build a small CLI-based LLM agent for microservices using tool discovery, model calls, conversation history, and a REPL loop.

An agent skill for starting or extending Django projects, with ready-made scaffolding, stack choices, and safeguards for common production pieces like auth, jobs, Redis, email, and deploy setup.

taste-ai is a command-line tool that compresses project context for AI agents and learns coding patterns from session logs, git history, and prompts. The README shows install steps, a quick start, command examples, and a workflow for generating compact session context and updating pattern files.

Public GitHub repository describing how to access a large Powerset Research GitHub dataset through an MCP server or DuckDB. Includes no-auth access, schema-aware SQL use, and example queries for agents and analysts.

A Python-based coordination protocol and daemon for running multiple LLM sessions in parallel with shared awareness, aimed at Claude Code and other Anthropic-compatible models.

CtxVault is an open-source receipt layer for governed AI context. It shows what evidence was selected, caveated, blocked, omitted, and how a context packet can be audited or rolled back.

A Claude Code workflow system that guides software work through brainstorm, planning, implementation, and iteration with checkpoints and TDD built into each task.