Highlights
- Pro
-
-
-
-
-
provecalc-website Public
Marketing website for ProveCalc - engineering calculation software
TypeScript Other UpdatedOct 18, 2026 -
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedOct 6, 2026 -
-
-
-
-
chess-vision-studio Public
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.
-
-
Franka Panda arms cleaning up a simulated workshop in MuJoCo: verified pick-and-place, dual-arm handoffs, collision awareness and recovery.
Python MIT License UpdatedSep 14, 2026 -
-
-
mnehmos.nls.lang Public
Natural Language Source - NLS is the missing middle layer between AI Conversations and Production Code: Structured English that compiles deterministically to Python
-
mnehmos.reverse-engineer.mcp Public
remcp — a general, read-only reverse-engineering MCP server: PE/ELF/Mach-O/raw/JVM/.NET analysis, disassembly, cross-build matching, verified symbol KB, JVM decompilation, crypto identification
-
-
mnehmos.zcode.mcp Public
Reverse-engineering audit of ZCode 3.11.2 and the Spec Kit specification for an MCP server that controls it via its own agent-protocol control plane.
-
-
mnehmos.aseprite.mcp Public
MCP server exposing headless Aseprite as five tools: sprite projects, ASCII pixel-map drawing, PNG/GIF/spritesheet export, image pixelation, raw Lua
TypeScript MIT License UpdatedSep 9, 2026 -
fallout-new-vegas-modding Public
AI-assisted FNV modding — 7 ESPs, 80 perks, 60+ weapons, custom faction, MnemoScript compiler, binary ESP writer
-
-
virtual-classroom Public
A 3D classroom with an AI teacher: validated Stagehand commands, a knowledge-graph curriculum, and a learner model that remembers what was mastered.
TypeScript UpdatedSep 4, 2026 -
-
-
-
mnehmos.index-foundry.mcp Public
RAG indexing and retrieval MCP server
-
mnehmos.ooda.mcp Public
OODA loop MCP server with filesystem, CLI, and automation tools
-
MathOS Public
A mathematical operating system that takes a claim from informal statement through formalization, proof or counterexample, verification, pedagogy, provenance, and RL export.
Rust Other UpdatedJul 26, 2026