Haiyang (Ocean) Li

Agent systems engineer building Rust and Python infrastructure for long-horizon AI agents.

Co-founder, Agentics Foundation | AG2 maintainer | New York, NY

Active Projects

| Project | Description | Stack |
|---------|-------------|-------|
| khive | Production MCP server — agent memory, task state, entity graphs, hybrid retrieval, inter-agent messaging | Rust, SQLite, Fly.io |
| Lattice | Pure Rust inference engine — SIMD kernels, Metal GPU, 9 embedding models, 952 tests | Rust, Metal, crates.io |
| lionagi | Agent orchestration framework — model-agnostic tool use, structured output | Python, 390+ stars |
| LNkernel | Formally verified agentic system — 26K lines of Lean4, 0 sorry | Rust, Lean4 |

What I Build

• Agent Infrastructure: MCP servers, persistent memory/state, multi-tenant platforms, OAuth 2.1 for Claude and ChatGPT
• ML Inference: Transformer forward pass from scratch, SIMD (AVX2, NEON, AVX-512), Metal GPU, LoRA injection, QuaRot 4-bit quantization
• Hybrid Retrieval: HNSW + BM25 + reciprocal rank fusion, SIMD-accelerated similarity, zero external vector DB dependency
• Formal Verification: Rust-to-Lean correspondence via Charon/Aeneas extraction

Background

M.S. Quantitative Finance — Fordham University (2023)
B.S. Finance, Information Management — Syracuse University

LinkedIn | Agentics Foundation

Collapse