Become a sponsor to Ian Goforth
Hi, I'm Ian. I do security research across fuzzing, reverse engineering, and ML, and I release most of my tooling as open source so other people don't have to rebuild the same infrastructure I did.
Right now my main focus is aletheia, an AI decompiler that lifts binaries to structured control-flow MLIR and then uses deterministic compiler passes to lower it back to readable C, with correctness checked by recompiling and diffing the binary. Alongside it I maintain smaller tools that com
e out of day-to-day research.
Sponsorship is what lets me treat this as ongoing work (issue triage, releases, docs, and toolchain upkeep against fast-moving projects like Clang, MLIR, and AFL++) instead of nights-and-weekends. Every tier funds maintenance, new features, and write-ups on my blog.
Reaching 10 monthly sponsors lets me commit a recurring block of time each month to finishing aletheia: a working binary-to-C pipeline (p-code to SCF MLIR, then SCF to EmitC), a reproducible training-pair generator built on Polygeist, and the recompile-and-diff verification harness. Sponsors get progress updates as it lands.
Featured work
-
igoforth/aletheia
AI decompiler targeting MLIR
Shell -
igoforth/excido
Fuzzing harness generator for C/C++ libraries. Resolves type dependencies across translation units via Clang AST and emits self-contained AFL++ harness files.
Python 2 -
igoforth/ws-rpc
Bidirectional RPC over WebSocket with Zod schema validation, TypeScript inference, and Cloudflare Durable Object support
TypeScript 4 -
igoforth/polymarket-mcp
MCP server exposing 47 Polymarket API tools for AI assistants
TypeScript 2 -
igoforth/RWAILib
Local, offline AI for RimWorld. Runs Phi-3 on your own machine to generate in-game content. No API keys, no cloud.
Python 10
0% towards 10 monthly sponsors goal
Be the first to sponsor this goal!