Note
These repositories are human-architected, AI-implemented. Architecture, design decisions, and system integration are mine. Code generation and iteration are done by AI agents under my direction. More on what that means and why →
Sandra's workshop, Alsergrund, Vienna. Benny is real. The Noetix Bumi humanoid is aspirational (arriving soon).
I'm a retired and vibe-reactivated software engineer living in the 9th District (Alsergrund), Vienna. I build DIY robotics, maintain a fleet of 130+ MCP servers, and hang out with my German Shepherd Benny — and soon, a Noetix Bumi humanoid robot.
I maintain a homespun fleet of 130+ repos, each an MCP server with an associated webapp. MCP for agents, webapp for humans — files, git, Plex, Calibre, robotics, 3D tools, music production, Vienna transit, and a lot more. Built on FastMCP 3.2.
→ Full MCP Project Catalog — visual cards for every server in the fleet
| Project | What |
|---|---|
| leanforge-mcp | Lean 4 formal proof search pipeline. Submit a conjecture, get a machine-verified proof via LLM + compiler feedback loop. Inspired by AlphaProof Nexus. |
| godot-mcp | Godot 4 engine control via MCP. STL import, CFD velocity fields, GPU particles, PBR materials, HTML5 export. Fleet visualization endpoint. |
| calibre-mcp | Ebook library with semantic RAG search, arXiv/Gutenberg import, and full-text indexing. |
→ Full catalog → • Workshop & Hardware
Benny is a 2-year-old German Shepherd. Primary security consultant and tennis ball lifecycle manager at the Alsergrund node.
People and sites worth following (no slop):
| 🐦 Simon Willison | simonwillison.net — agentic engineering patterns, AI benchmarks. The pelican test is his. |
| ⚡ FastMCP | gofastmcp.com — the framework every server in this fleet is built on. |
| 🧮 Lean 4 | lean-lang.org — formal proof verification. leanforge-mcp runs on this. |
| 📄 arXiv | arxiv.org — where the useful papers live before the blog posts. |
| 🎥 Andrej Karpathy | YouTube — zero-hype technical AI. The "Intro to LLMs" talk is still the best single explanation. |
| 🎥 AI Explained | YouTube — covers actual research, not product launches. Best depth-to-accessibility ratio. |
| 🎥 ThePrimeTime | YouTube — dev perspective on AI tooling. Skeptical, calls out bullshit, aligns with the vibe coding vs agentic engineering framing. |
| 📝 Ethan Mollick | One Useful Thing — AI in practice, short dense posts about what actually works. |
| 📝 Interconnects (Nathan Lambert) | Substack — ML research without fluff. Open-weight models, alignment, actual paper analysis. |
Thanks to my brother Stephan for the ideas and war stories.