Specula: An agentic tool for finding deep bugs in system code using TLA+

Google Cloud Knowledge Catalog Tools and Samples

A declarative interface for every secret provider.

OpenCode plugin for automatic model-tier delegation (fast/medium/heavy)

Offline voice input keyboard & live subtitle tool for Android

An MCP for using Codex as a part of a fusion

Add Codex-style long-running goals to OpenCode

Google Ads CLI and skills for AI agents (and humans)

🐘 Linter for Postgres migrations & SQL

A free, open source, and extensible speech-to-text application that works completely offline.

A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency

Physics-based modal synthesis piano with soundboard IR convolution, FM Rhodes, Prism, and DDSP comparison — all playable in the browser

Piano Forte Audio Plugin

An open source real-time piano engine and JUCE plugin based on physical modelling

NixOS MicroVMs

Fast GitHub Pull Requests

A developer-friendly API for converting many document formats into PDF files, and more!

Run GitHub Actions locally — pause on failure, retry in place, and keep caches on your machine.

Skills for Real Engineers. Straight from my .agents directory.

A MCP for Claude Desktop / Claude Code / Windsurf / Cursor to build n8n workflows for you

VS Code in the browser

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

The lazier way to manage everything docker

The open source coding agent.

MCP server that uses reflection to provide LLM's with knowledger about dotnet classes, their members and their signatures

An MCP server for loading skills (shim for non-claude clients).

A GitHub Action invoking the Gemini CLI.