Selected work
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.
GitHub / SYMBaiEX8.6K
Commits
602
Authored PRs
76
Public repos
30
Followers
GitHub snapshot / Aug 7, 2026
Work index
Projects
10 total
01 / Open-source AI agent ecosystem
ElizaOS
Open-source agentic operating system contribution work around practical extensibility, integrations, and production-minded AI agent patterns.
02 / Social protocol product engineering
Babylon
High-volume contribution work on BabylonSocial, connecting product velocity with maintainable implementation details.
03 / Interactive product and AI tooling
Hyperia
AI-native MMORPG work through PlayHyperia/HyperForge, where agent behavior and player-facing systems meet.
04 / Personal open-source software
OpenController
Open controller patterns for interoperable orchestration, control surfaces, and operator-friendly workflows.
05 / Open-source rewards infrastructure
GitShipt
Repo-native rewards layer for open source on Solana, powered by GitHub activity and Bags fee sharing.
06 / Agent runtime and character systems
SYMindX
A modular, agent-based AI runtime for emotionally reactive characters across games, web surfaces, and social platforms.
07 / Formal verification and proof engineering
ArkLib
Contribution work on formally verified arguments of knowledge in Lean, including proof repair, soundness adapters, and integration drift fixes.
08 / Agent migration and runtime tooling
doolittle
TypeScript workspace for ElizaOS migration and agent runtime experimentation.
09 / Logging and monitoring system
SYMLog
A modern logging and monitoring system shaped around operational visibility and developer feedback loops.
10 / AI agent communication protocol
PoD Protocol
Prompt or Die, a Solana-based communication protocol for AI agents with channels, messaging, escrow, and reputation.
Portfolio notes
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.