Portfolio
This is a working record of the systems I have built, contributed to, and shipped: open-source agent infrastructure, protocol-facing product engineering, and personal tooling built around orchestration, memory, and legibility.
What is in here
Each entry below is a real project, not a case study written after the fact. Some are high-volume contribution work on protocols and products other people run in production. Others are personal projects I started to solve a problem I kept running into, or to test an idea about how agents, control surfaces, and observability should behave. A few are formal, proof-level work where correctness is the whole point.
How to read a project card
Every project follows the same shape: what it is, the problem it responds to, the approach I took, and the outcome. That structure is intentional. I care less about listing technologies and more about showing the reasoning, so you can judge the work the way I judge it myself: does it hold up under real use, and does it stay legible once the first version is no longer new.
Where to go from here
If you want the origin story behind this body of work, the About page covers how I got here. If you want to go straight to the source, most entries link out to the live homepage, the repository, or both, so you can see the code and the running system for yourself.
GitHub GraphQL across 3 yearly windows; 3987 visible commit contributions plus 3650 restricted contributions. · Updated Jul 14, 2026
Open-source agentic operating system contribution work around practical extensibility, integrations, and production-minded AI agent patterns.
Contributor / integrator / reliability-focused systems engineer
elizaOS/eliza / TypeScript / 13 PRs / 18.7K stars / 5.6K forks
High-volume contribution work on BabylonSocial, connecting product velocity with maintainable implementation details.
Engineering contributor
BabylonSocial/babylon / TypeScript / 159 PRs / 74 stars / 24 forks
AI-native MMORPG work through PlayHyperia/HyperForge, where agent behavior and player-facing systems meet.
Product systems contributor
PlayHyperia/hyperforge / TypeScript / 42 PRs / 89 stars / 43 forks
Open controller patterns for interoperable orchestration, control surfaces, and operator-friendly workflows.
Creator / systems engineer
SYMBaiEX/OpenController / TypeScript / 2 stars
Repo-native rewards layer for open source on Solana, powered by GitHub activity and Bags fee sharing.
Creator / product engineer
SYMBaiEX/GitShipt / TypeScript / 4 stars / 4 forks
A modular, agent-based AI runtime for emotionally reactive characters across games, web surfaces, and social platforms.
Creator / framework engineer
SYMBaiEX/SYMindX / TypeScript / 9 stars / 7 forks
Contribution work on formally verified arguments of knowledge in Lean, including proof repair, soundness adapters, and integration drift fixes.
Open-source proof contributor
lalalune/ArkLib / Lean / 8 stars / 7 forks
TypeScript workspace for ElizaOS migration and agent runtime experimentation.
Creator / migration engineer
SYMBaiEX/doolittle / TypeScript / 2 stars / 1 forks
A modern logging and monitoring system shaped around operational visibility and developer feedback loops.
Creator / tooling engineer
SYMBaiEX/SYMLog / TypeScript / 2 stars
Prompt or Die, a Solana-based communication protocol for AI agents with channels, messaging, escrow, and reputation.
Creator / protocol engineer
SYMBaiEX/PoD-Protocol / TypeScript / 1 stars