All Projects
54 projects across MCP infrastructure, formal verification, games, applications and modding.
MCP Servers (15 servers)
RPG MCP
Full D&D 5e backend for AI Dungeon Masters — combat, spells, quests, conditions, spatial calculations, and 1100+ creature presets for instant encounters. The engine behind Quest Keeper AI.
OODA MCP
Full computer control implementing the OODA pattern — observe (screen), orient (context), decide (LLM), act (input). Screen capture, keyboard/mouse control, window management, clipboard and system operations.
remcp — Reverse Engineering MCP
A general, read-only reverse-engineering MCP server: PE/ELF/Mach-O/raw/JVM/.NET analysis, disassembly, cross-build matching, a verified symbol knowledge base, JVM decompilation and cryptographic algorithm identification.
Index Foundry MCP
Deterministic vector index factory for RAG pipelines. Five phases: Connect (URL/PDF/folder) → Extract → Normalize (chunk/enrich/dedupe) → Index (embed/upsert) → Serve. Auto-generates a Railway deployment.
Aseprite MCP
Headless Aseprite as five tools: sprite project lifecycle, ASCII pixel-map drawing, PNG/GIF/spritesheet export, image pixelation, and raw Lua for everything else.
Synch MCP
Global memory bank for AI agent coordination. Active context management, a filing cabinet for indexed files, spatial maps, bug tracking, lock management for parallel agents, and context event emission.
Trace MCP
Static analysis for schema mismatch detection. Extracts schemas from MCP servers (Zod), traces consumer usage, compares and scaffolds. Supports OpenAPI, GraphQL SDL, Apollo, tRPC, fetch and axios.
ComfyUI MCP
Render and manage ComfyUI workflows from an agent: server status and VRAM, a basics-gate validation pass, seeded renders with full provenance, and model inventory.
Open5e MCP
Query the Open5e D&D 5e API — spells, monsters, classes and more, returned with frontend URLs so results are directly linkable.
arXiv MCP
Academic paper search and retrieval. Search by title, author or category, with full-text PDF extraction and caching. Built for research workflows.
DevWiki MCP
Local deterministic DevWiki retrieval layer — documentation lookup that returns the same answer every time.
FFmpeg LLM MCP
FFmpeg-based video editing engine exposed as MCP tools, with an OpenRouter LLM autopilot for driving edits from natural language.
Sight MCP
Screen vision MCP server — give an agent the ability to see the screen and guide UI tasks.
FNVEdit MCP
Fallout: New Vegas plugin editing exposed as MCP tools — read and write ESP records programmatically.
Frameworks & Languages
Multi-Agent Framework
Production-ready multi-agent coordination with TDD workflows (Red→Green→Blue). Role contracts for Orchestrator, Architect, Planner, Code and Debug, with IDE integrations for Roo Code, Claude Code, Cursor and GitHub Copilot.
NLS — Natural Language Source
The missing middle layer between AI conversation and production code: structured English that compiles deterministically to Python. Readable by people, unambiguous for machines.
Verifier-Gated Research (7 projects)
LLM-Driven Proof Search
An evidence-preserving operating environment for AI-assisted mathematical research: informal claim → formalization → decomposition → certificate generation → Lean verification → publication export.
MathCorpus
A verifier-gated, provenance-complete, curriculum-shaped mathematics corpus for training theorem-proving agents. Every proof kernel- or certificate-checked, every item hash-pinned, every export trust- and redaction-governed.
BH Formalization
Machine-checked Lean 4 formalization of the Benjamini–Hochberg FDR counterexample (Dobriban): FDR > 0.0104 at nominal level 0.01, kernel-verified.
MathOS
A mathematical operating system that takes a claim from informal statement through formalization, proof or counterexample, verification, pedagogy, provenance and RL export.
Prompt Engineering Taxonomy
Interactive taxonomy of 182 prompt-engineering techniques from 20+ papers. Categorisation, visualisations, filtering and JSON export.
Right-Wing Predators Research
Data research project tracking extremist organising and its networks.
DSA Graham Research
Research and data for Democratic Socialists of America chapter formation in Graham County, Arizona (LD19): demographics, economics, labor data and organising strategy.
Games & Worlds (10 games)
Quest Keeper AI
Desktop RPG companion (Tauri) combining an AI Dungeon Master with a visual game engine. 3D battlemap, 2D world map, spellcasting and NPC memory on a 7-layer context budget of roughly 5K tokens.
Bastion
The last city. LitRPG biographies generated from committed rpg-mcp engine state — the dice are honest and the reader can check every roll.
Naruto 5e
A deterministic shinobi TTRPG engine (MCP) plus an autonomous, engine-grounded playtest manga, 'Iwao: The Particle Heir'.
ChatRPG (D&D 5e)
D&D 5e MCP server for AI Dungeon Masters: 30+ tools for characters, combat, spells, conditions and spatial calculations, with a stateless web client demo.
The Long Hall
Procedural roguelike dungeon crawler with ironman saves, cloud leaderboards and RPG progression. Five classes, turn-based D&D-inspired combat, equipment and seeded RNG.
LLM Chess
LLM-vs-LLM chess arena and gauntlet benchmark app — run models against each other and score the results.
The World's Largest Dungeon
Dungeon resources with SRD 5.2 markdown files for D&D, published as a browsable site.
Mnehmos Engine
A generative simulation kernel for living worlds: LLM-driven agents with persistent memory, validated by a deterministic engine, in a multi-region world with a labor-based economy.
Corehold
One tower. Infinite pressure. Build the machine before the swarm solves you.
Portal Chess
Multiplayer chess with portal teleportation mechanics.
Apps & Tools (12 apps)
Chess Vision Studio
See the forces on the board, not just the evaluation — a 2D chess perception engine with validated overlays, plain-language coaching and personal insights across your whole game history. A companion Rust engine handles search and training.
Virtual Classroom
A 3D classroom with an AI teacher: validated Stagehand commands, a knowledge-graph curriculum and a learner model that remembers what was mastered.
Clio
A typed world canvas where AI chronicles geopolitical events on a globe, via the Stagehand Protocol.
Semantic Video Studio
State-first cinematic generation: prompt → 4-plane JSON state → deterministic Blender render. Editable, reproducible and partially regenerable.
Oculus
A gaze-tracking pedagogy instrument. Webcam-only and locally processed: typed gaze events detect reading confusion and offer context-specific hints.
Strudel Live
Live Strudel performance engine with MCP control, speech and DJ session workflows.
Invoicer
100% client-side invoice manager. All data stays in localStorage — no server, no tracking. Professional PDF export, company branding and tax support.
Fan Controller
Desktop fan speed controller with temperature monitoring and custom fan curves.
Worksheet
Interactive worksheet application with an observability MCP server for tracking learner progress.
Command: Humanities Last Stand
A voice-driven command simulation engine where players lead organisations through natural language instead of micromanagement.
Vibe Coder's Bible
A practical guide to building software with AI agents.
Modding
Fallout: New Vegas Modding
AI-assisted FNV modding: seven ESPs, 80 perks, 60+ weapons and a custom faction, driven by a MnemoScript compiler and a binary ESP writer.
Websites & Brands (6 sites)
ProveCalc
Marketing site for ProveCalc, engineering calculation software. Desktop releases ship from a separate repository.
The Mnemosyne Research Institute
Operational infrastructure, research programs and public website for TMRI — memory architectures and AI agent coordination.
Ramirez for House
Campaign site for Ramirez for Arizona House, LD-19, 2026.
Deflock Safford
Community campaign site opposing automated licence-plate surveillance in Safford.