Sphinx
A hook that quizzes developers on AI-written code before they push to production.
A hook that quizzes developers on AI-written code before they push to production.
A tool that visualizes attention patterns inside large language models, for people studying how they work.
Safari extension for Mac that hides YouTube videos labeled "Made with AI" from feeds, search and Shorts.
Mesh intersection code for 3D solid modeling, proven correct in Lean 4 so reviewers need only read the spec.
Open-source gateway that keeps API keys away from AI agents and enforces request policies for developers running them.
Disposable Linux VMs that let developers run coding agents away from their laptops.
A site that queries many AI models in parallel to show how strongly they recognize you personally.
Network firewall that lets AI agents reach production systems while humans and LLMs approve destructive actions.
Open-source guardrails that make small self-hosted LLMs reliable at multi-step tool-calling workflows for local users.
Open-source history tool for Claude Code sessions that records what the agent changed and why.
Open-source proxy that holds credentials so AI agents can call services without ever seeing the secrets.
Command-line sandbox that blocks file and network access and hides API keys from commands, for developers running AI agents locally.
Open-source proxy that gives AI agents placeholder keys and swaps in real credentials, so developers' agents never see secrets.
Permission hook for Claude Code developers that classifies each tool call by effect and allows, asks, or blocks it.
Tool that hides .env secrets from AI coding assistants so developers' API keys stay out of their context.
An 8B language model that can explain any token it generates, according to its one-line listing.
Disposable Linux virtual machines for macOS that boot in about a second, mainly for sandboxing AI agent code execution.
Sandbox that runs AI-generated code in a WebAssembly bash shell, limited to tools developers provide.
Sandbox letting developers run AI coding agents with sudo without risking their home directory.
Chrome extension for people using ChatGPT or Claude that scrubs names, emails and API keys from prompts locally.