Founder of khive AI, New York. I build the infrastructure long-horizon AI agents run on: a system of record and operations for agent organizations (khive), an orchestration framework (lionagi), a workspace for AI agents (khive computer), a pure Rust inference engine for Apple Silicon (Lattice) and a formally verified agent kernel (LNkernel). Rust and Python, open source, built in public.
Each project is run by the agents it serves before it ships. I design the architecture, set the constraints and gate the merges.
Co-founder, Agentics Foundation · co-maintainer, AG2 · Lion Saturday live streams
khive
The system of record and operations for agent-native organizations, served over MCP: entity graph with typed edges, hybrid retrieval (HNSW, BM25, rank fusion, in process), durable task state, memory with salience and decay, inter-agent messaging. Hosted at khive.ai; self-hosted from one binary and SQLite. Get it: crates.io · docs.
lionagi
Agent orchestration, built continuously since 2023: model-agnostic tool use, structured output, multi-agent flows, typed operations. The runtime my own fleet runs on. Get it: pip install lionagi.
khive computer
Workspace for AI agents, over MCP. Files live in content-addressed trees and a write returns a new tree; refs move by compare-and-swap with history; commands run on a tree in a sandbox and come back as a tree, cached by their inputs; git at the edge; one token is one seat. Eight tools. Get it: uv tool install khive-computer · kc up.
Lattice
Transformer inference in pure Rust on Apple Silicon: Qwen 3+ and Gemma 4 including vision-language and vision embedding, Metal and CPU, quantization and LoRA fine-tuning, a native macOS app. No Python, no CUDA, no ONNX; about 5% of ONNX Runtime's binary size. Serves embeddings on a Raspberry Pi.
LNkernel
A formally verified agentic kernel: Lean 4 proofs of the kernel data structures, the capability algebra and the policy rules, machine-checked against the Rust definitions.
moodboard
Visual coherence measurement: how well an image fits a board's look, with calibrated intervals and a traceable offline report.
CanonSys
Agent governance: a policy DSL, a charter runtime and a cryptographic evidence chain.
medgraph
ICD-10-CM read as the graph it already is, packed for khive, with a one-command demo.
lionag2
lionagi primitives on AG2: multi-player, multi-threaded agent orchestration.
lean-proofs
Formal proofs in Lean 4.
Quant notes
American put optimization · SPX option intraday backtest
| I want to… | Start here | Then |
|---|---|---|
| Give my agents a system of record: memory, tasks, messages, a graph | khive.ai or self-host khive | connect any MCP client to it |
| Give an agent a place to work: trees, refs, sandboxed commands, git | khive computer | kc up and hand the client the token |
| Orchestrate agents in Python with structured output | lionagi | run them against a khive and a computer |
| Run Qwen or Gemma on a Mac with no Python runtime | Lattice | embeddings, reranking and classification in process |
| Read machine-checked proofs about an agent kernel | LNkernel | the Lean 4 side of the Rust |
Public GitHub API, October 14, 2026. Owned repositories, forks excluded.
Stars measure attention, not users; downloads count fetches, not people.
- khive computer 0.1.0 is on PyPI with the image on
ghcr:
uv tool install khive-computer,kc up. - khive cloud is open at khive.ai: the hosted khive, MCP at
khive.ai/v1/mcp.
M.S. Quantitative Finance, Fordham University. B.S. Finance and Information Management & Technology, Syracuse University. Markets first, infrastructure second, agents now.