🌐 Live Site: mnehmos.github.io/Mnehmos
MCP Infrastructure · Verifier-Gated Systems · AI-Powered Games
I build deterministic engines that let AI agents act on real state — and then check the work. Every project here follows the same rule: the model proposes, the engine validates.
Tools don't think, they act. Same inputs, same outputs, every time.
| Project | Tools | What it does |
|---|---|---|
| mnehmos.rpg.mcp | 145 | Full D&D 5e backend — combat, spells, quests, 1100+ creature presets |
| mnehmos.ooda.mcp | 62 | Full computer control — filesystem, shell, screen, keyboard, mouse, clipboard |
| mnehmos.index-foundry.mcp | 40+ | Deterministic RAG pipeline → deployed chatbots in minutes |
| mnehmos.synch.mcp | 19 | Persistent memory bank, context handoffs, locks for agent coordination |
| mnehmos.trace.mcp | 11 | Schema validation between MCP producers and consumers |
| mnehmos.arxiv.mcp | 4 | Academic paper search with PDF extraction and caching |
| mnehmos.reverse-engineer.mcp | — | remcp — read-only binary analysis: PE/ELF/Mach-O/JVM/.NET, disassembly, cross-build matching, verified symbol KB, JVM decompilation, crypto identification |
| mnehmos.aseprite.mcp | 5 | Headless Aseprite — sprite projects, ASCII pixel-map drawing, PNG/GIF/spritesheet export, image pixelation, raw Lua |
| mnehmos.comfyui.mcp | — | ComfyUI render control — server status, validation gate, seeded renders with provenance, model inventory |
| mnehmos.open5e.mcp | — | Open5e D&D 5e API — spells, monsters, classes with frontend URLs |
| mnehmos.devwiki.mcp | — | Local deterministic DevWiki retrieval layer |
| mnehmos.ffmpeg-llm.mcp | — | FFmpeg editing engine with LLM autopilot |
| mnehmos.sight.mcp | — | Screen vision and guided UI tasks |
| mnehmos.fnvedit.mcp | — | Fallout: New Vegas plugin editing |
| mnehmos.personal.github.mcp | — | GitHub automation from inside an agent loop |
Every proof kernel-checked, every artifact hash-pinned.
| Project | What it is |
|---|---|
| llm-driven-proof-search | Evidence-preserving environment for AI-assisted mathematical research — formalization, decomposition, certificate generation, Lean verification, publication export |
| mathcorpus | Verifier-gated, provenance-complete, curriculum-shaped mathematics corpus for training theorem-proving agents |
| BHFormalization | Machine-checked Lean 4 formalization of the Benjamini–Hochberg FDR counterexample (FDR > 0.0104 at nominal 0.01) |
| MathOS | A mathematical operating system: informal claim → formalization → proof or counterexample → verification → pedagogy → provenance → RL export |
| mnehmos.prompts.research | 182 prompt-engineering techniques from 20+ papers · interactive taxonomy and prompt builder |
| mnehmos.right-wing-predators.research | Data research project |
| mnehmos.dsa-graham.research | Demographics, economics and labor data for Graham County, AZ (LD19) |
| Project | Platform | What it is |
|---|---|---|
| Quest Keeper AI | Desktop (Tauri) | AI Dungeon Master + 3D battlemap + 7-layer context, on the 145-tool rpg-mcp backend |
| mnehmos.bastion | Web | LitRPG biographies generated from committed rpg-mcp engine state — the dice are honest and the reader can check |
| naruto5e | Web | Deterministic shinobi TTRPG engine + an engine-grounded autonomous playtest manga |
| mnehmos.long-hall.game | Web | Procedural roguelike with ironman saves and cloud leaderboards |
| LLM-Chess | Web | LLM-vs-LLM chess arena and gauntlet benchmark |
| The-Worlds-Largest-Dungeon | Web | Dungeon resources with SRD 5.2 markdown |
| mnehmos-engine | — | Generative simulation kernel — LLM agents with persistent memory validated by a deterministic engine |
| corehold | Godot | One tower. Infinite pressure. Build the machine before the swarm solves you. |
| Project | What it is |
|---|---|
| mnehmos.multi-agent.framework | 533⭐ Production-ready multi-agent coordination — SPARC + Boomerang + TDD, with IDE integrations |
| mnehmos.nls.lang | Natural Language Source — structured English that compiles deterministically to Python |
| chess-vision-studio | See the forces on the board, not just the evaluation — 2D chess perception engine with validated overlays and plain-language coaching |
| virtual-classroom | A 3D classroom with an AI teacher — validated commands, knowledge-graph curriculum, learner model |
| Clio | A typed world canvas where AI chronicles geopolitical events on a globe |
| semantic-video-studio | Prompt → 4-plane JSON state → deterministic Blender render. Editable and reproducible |
| chatdb | Conversation database in Rust |
| mnehmos.oculus.webapp | Gaze-tracking pedagogy instrument — webcam-only, local processing, confusion detection |
| mnehmos.strudel.live | Live Strudel performance engine with MCP control and DJ workflows |
| mnehmos.invoicer.app | Local-first invoice generator with PDF export |
| mnehmos.fan-controller.app | Fan controller desktop application |
fallout-new-vegas-modding — AI-assisted FNV modding: 7 ESPs, 80 perks, 60+ weapons, a custom faction, a MnemoScript compiler and a binary ESP writer. Also StarSector and Project Zomboid work.
533 GitHub stars on Multi-Agent Framework
15 MCP servers published
280+ Tools across those servers
182 Prompt-engineering techniques documented
145 D&D 5e tools in the RPG engine
3 Lean 4 formalization projects
80 Repositories (69 public)
Tools don't think, they act.
Every engine here is built to the same contract:
- Deterministic — same inputs, same outputs
- Idempotent — re-running produces identical results
- Auditable — every operation produces manifests and logs
- Composable — tools run independently or chained
- Verifier-gated — the artifact is only trusted if a checker passes it
The LLM proposes. The engine validates. State comes from the database, not hallucination.
Live demos
- Quest Keeper AI — AI D&D assistant
- The Long Hall — roguelike dungeon crawler
- Multi-Agent Framework — coordination spec
- Prompt Engineering Guide — 182 techniques
- NLS Language — structured English → Python
- Fallout: New Vegas Modding — the mod pack
- ProveCalc — engineering calculation software
Start here
- mnehmos.ooda.mcp — computer control
- mnehmos.rpg.mcp — D&D 5e engine
- mnehmos.reverse-engineer.mcp — binary analysis
- GitHub: @Mnehmos
- Email: Mnehmos@gmail.com
- Location: Arizona, USA
- Open to: MCP infrastructure, agent tooling, verifier-gated systems
Building infrastructure for AI agents that interact with the real world.