A collection of TLA⁺ specifications of varying complexities.

A Go blocking leaky-bucket rate limit implementation

Go SDK for interacting with the MCP Toolbox for Databases.

Access to Anthropic's safety-first language model APIs via Go

Official Claude Code compound engineering plugin

Proxmox VE Helper-Scripts (Community Edition)

Stremio Addon with a bunch of features to manage lists from MDBList and Trakt

These are commands I use with agents, mostly Claude

Dear imgui renderer for wgpu-rs.

Guts is a code generator that converts Golang types to Typescript. Useful for keeping types in sync between the front and backend.

2D physics engine for games

Beginner friendly graphics powered by WebGPU, optimized for interactive art!

Computational geometry in Julia

C++ implementation of "Surface Multigrid via Intrinsic Prolongation"

Tools for generating cubed sphere grids and solving partial differential equations on the sphere.

Vector graphics in Go

A native Go h3 port

Tool for transpiling C to Go.

⚖️ A tool for transpiling C to Go.

PostgreSQL bindings for H3, a hierarchical hexagonal geospatial indexing system

Playwright MCP server

A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)

An agentic skills framework & software development methodology that works.

🚀 The fast, Pythonic way to build MCP servers and clients

expose yourself

Go net/http configurable handler to handle CORS requests

Visual testing tool for MCP servers

An MCP proxy server that aggregates and serves multiple MCP resource servers through a single HTTP server.

What are the principles we can use to build LLM-powered software that is actually good enough to put in the hands of production customers?