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.