developer tools

A Lean 4 repository containing a machine-checked proof of Fermat’s Last Theorem, with build verification details and browsable HTML documentation for the proof structure.

A CLI tool that exposes a local MCP server through a public URL with one command. It supports anonymous ephemeral tunnels, OAuth 2.1 by default, and a self-hosted relay option.

TokenGO is a self-operated inference API for open-weight LLMs and video models. It offers OpenAI-compatible access, model routing, enterprise uptime claims, and a set of priced models including GLM, DeepSeek, Kimi, and MiniMax.

Neoswarm is an open-source terminal workspace for controlling AI agents, with a plugin-based interface and typed TypeScript plugin API.

A visual timeline of major AI interfaces and interaction patterns, from Siri and Google Now to ChatGPT, Claude, and emerging agent tools.

A source-level reconstruction of the WON-era Half-Life launcher, build 1792, with build instructions, supported-version notes, fixes, and a bundled WON server emulator for local testing.

A small Python CLI that hooks into Claude Code to gradually increase target-language usage during chat sessions, with monitoring, ramp policies, help modes, and a pause/kill switch.

A small skill that teaches coding agents to explain software with compact visuals like diagrams, trees, diffs, pseudocode, and HTML mockups instead of long prose.

Open-source auditing tool for AI agents that checks whether an agent is doing the job it is supposed to do. The repo shows a guided CLI, plugin-based workflows for Claude Code and Codex, and output in JSON, Markdown, and terminal scorecards.

Preseason tracks which developer tools AI models recommend for a fixed panel of vibe-coding prompts, and publishes rankings across categories like auth, databases, queues, hosting, analytics, and LLM observability.

Terminal-native attention router for parallel Claude Code sessions. It shows session status in the terminal, highlights the one that needs help, and provides quick jump shortcuts, tmux support, and optional desktop notifications.

Scalattice is an inference API and hosting platform that lets developers point the OpenAI SDK at its OpenAI-compatible endpoint with minimal code changes. The page includes Python and curl examples, model IDs, pricing references, and basic troubleshooting.

A macOS Model Context Protocol server that gives AI agents local voice output and persona-based speaking styles.

A curated directory of 116+ AI agents, frameworks, and tools, organized into categories like coding, browser automation, voice, and customer support. It offers free listings, featured placements, and human-reviewed submissions.

A small open-source C# tool for local inter-agent collaboration in coding workflows, with shared chat state, role memory, Markdown messages, and goal tracking inside a Git repo.

A source-available JavaScript browser agent for asserting end-to-end behavior in real user sessions. The repo explains the annotation-based approach, how it runs in staging and production, and how to install and initialize it via CDN or npm.

An early-access AI research assistant that presents a cited mindmap of AI agent safety and alignment research, with expandable nodes, source-backed claims, and built-in verification checks.

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.

A Rust-based MCP server that lets AI agents chat with each other, manage channels, and be monitored through a web page.