Barton Rhodes

ocaml-mcp-sdk. OCaml SDK for Model Context Protocol using Jane Street's oxcaml_effect library

risc0-cosmwasm-example. CosmWasm + zkVM RISC-V EFI template

anti-bullshit-mcp-server. MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks

say-mcp-server. MCP server for macOS text-to-speech functionality

babashka-mcp-server. A Model Context Protocol server for interacting with Babashka, a native Clojure interpreter for scripting

manifold-mcp-server. MCP server for interacting with Manifold Markets prediction markets

penrose-mcp. Penrose server for the Infinity-Topos environment

marginalia-mcp-server. An MCP server implementation for managing marginalia and annotations

nats-mcp-server. MCP server for NATS messaging system using NATS CLI - enabling AI agents to interact with NATS messaging

hypernym-mcp-server. JavaScript

shitcoin. gets denom for cw20 assets for permissionless degeneracy in IBC

penumbra-mcp. MCP server for interacting with Penumbra blockchain - providing privacy-preserving tools for chain interaction

awesome-applied-category-theory. ACT community resources

openai-agents-python-mcp. A lightweight, powerful framework for multi-agent workflows + MCP vibes

web9-mcp. 1 MCP to rule all them chains... in outer space 🪐 fully automated luxury gay space communism in our lifetime

slowtime-mcp-server. A Model Context Protocol server for secure time-based operations with timing attack protection and timelock encryption

OTC-0. JavaScript

talks. JavaScript

graphistry-mcp. Graphistry MCP integration for graph visualization with LLM workflows, focusing on advanced graph insights and investigations

LeanCopilot. LLMs as Copilots for Theorem Proving in Lean

complement. Matrix compliance test suite

galahack2024. TypeScript

gists-mcp-server. An MCP server for interacting with GitHub Gists

antimemex. Umberto Eco and forgetting

xm. 'xm' from web9

pluridrop. ETHPortland2022 hack

discopy. The Python toolkit for computing with string diagrams.

claude-agent-sdk-python. Python

wedding.registry. A community driven wedding registry service for Model Context Protocol (MCP) servers to enable mergers of DAOs and their successors by breaking grammars of governance, especially if they are French.

bafishka-clean. Clean monadic Steel-SCI integration with category theory

labubu-mcp. MCP server for interfacing with Godot game engine. Provides tools for launching the editor, running projects, and capturing debug output.

SGP-RL. Symbolic Graphics Programming with Large Language Models

unhoused-showcase. Emacs to solve housing insecurity and more

bytecodealliance-zulip-archive. A static html archive of Bytecode Alliance Zulip

monero-rental-hash-war. Compositional OpenGame analysis of Monero rental hash war with live network integration

gemini_icpc2025. Gemini 2025 ICPC World Finals Code Submissions

vibe-kamfban. our struggle, not our thing

the_well. A 15TB Collection of Physics Simulation Datasets

MCPEval. MCP-based Agent Deep Evaluation System

simulflow. A Clojure library for building real-time voice-enabled AI Agents. Simulflow handles the orchestration of speech recognition, audio processing, and AI service integration with the elegance of functional programming.

wagmi-clocks. Clocks API for WAGMI

codex-action. TypeScript

gay-spec.

bafishka. 🐟 Rust-native Fish shell-friendly file operations with Steel-backed SCI Clojure evaluation (seed: 1069)

binsec. BINSEC binary-level open-source platform

ezkl-ethglobal2025. Python

mcp.science. Open Source MCP Servers for Scientific Research

decontainerization. JailDAO: a DAO for operating malware lab jails -- we the detonators

magne. like a ruler, magne! geddit? 📏

hyperrealtime-to-mcp. TypeScript

zk-haiku-nanogpt. 🌟 ZK-Haiku-NanoGPT: Agentic Proof-Chaining Framework - Production-ready infrastructure for verifiable multi-agent AI collaboration using zero-knowledge proofs

rama-event-processor. A repository for processing events with Rama

mcpx-hy. Python client library for https://mcp.run - call portable & secure tools for your AI Agents and Apps