Forwarding proxy for OpenShift update resources (update graph, mirror, release signatures, operator catalog, lifecycle API)

Repeatable checks, supervised execution and verifiable evidence on local and SSH hosts.

PolicyEngine tax and benefit system for the UK.

LangChain tools for Postbye's public cancellation-guide MCP server: search companies, get cancellation guides and cancellation letters.

Measure Wine and macOS programs' GPU use on Apple silicon with Metal System Trace, from the shell or an MCP client

data structures to aid in numerical data generation and clustering

Zero-Copy Contract Engine & Native MCP Protocol for AI Coding Agents (Cursor, Claude, Antigravity, Hermes).

Sphinx extension for converting docstring examples into downloadable code.

A full-featured AI-assisted image generation environment designed for creatives and enthusiasts.

Git-shaped provenance for agent runs with verified objects, semantic forks, and universal usage accounting.

Transfer messages across a network

Infrastructure-as-code for ephemeral AWS ParallelCluster environments for bioinformatics

An AI educational project disguised as chess.

Orbi — local AI development worker: claims GitHub Issues, runs Pi in isolated worktrees, and delivers PRs (GitHub Issues + labels are the only state store).

Kater's resource-first command-line interface

Verifiers: Environments for LLM Reinforcement Learning

Docker images and utilities to power your Python APIs and help you ship faster.

Python wrapper for solc (Solidity compiler)

Lossless raster MBTiles merger and pyramid builder with bounded memory and crash-safe resume

Read, write, and convert radiotherapy beam measurements

Authorization-gated penetration testing MCP server for agentic AI

MCP server exposing RTINGS.com test data as structured tools

taut — one declarative IR -> native types, deterministic CBOR wire, IR-driven codec + service contracts, verified by a golden conformance corpus (import: `taut`…

Lunixi payment and fraud SDK with Ed25519 authentication, verified webhooks and durable native checkout orchestration.

Local multi-provider LLM proxy, model router and control plane for Claude Code, Codex, OpenCode, Gemini CLI and other AI coding agents: 57 providers, fallback r…

Watch a GitHub repository and run an AI review on every new PR HEAD (plus BadCat, a review-state watcher with opt-in merge, and badcat-host, its read-only Nativ…

Python port of the SafeLabs Guard core: a deterministic checkpoint that validates an AI agent's evidence and proposed action before it runs.

In-memory graph database and traversal engine, queried with Gremlin, with vector search for GraphRAG (Rust engine, no server)

OpenGeodeWeb-Viewer is an open source framework that proposes handy python functions and wrappers for the OpenGeode ecosystem

Fast O(1)/O(n) multiplication engine for arbitrary dimensions and table generator for ordinary, split, and dual Cayley-Dickson algebras.