I write systems that turn intent into something you can run, inspect, and prove. emath compiles mathematics into Rust. ZeroStack keeps agent tool output out of the model until it is needed, then returns the original bytes.
1. emath
Write the mathematics you mean. emath compiles it into inspectable Rust.
A .emath program can describe formulas, tensors, constraints, and goals. The compiler runs a deterministic pipeline (source, typed IR, resolution, generated Rust, Cargo artifact) and will not admit a result that fails emath check and emath build --verify.
Rust · compiler · math
2. ZeroStack (hub)
Context infrastructure for coding agents. Three engines, one composition host, typed recoverable refs.
TokenZero, GraphZero, and FSZero stay independent. ZeroStack defines the shared contracts and runs them in one process (zsx) so agents keep evidence without stuffing every intermediate byte into the model.
| Engine | Role |
|---|---|
| TokenZero | Compact, deduplicate, and selectively expand tool output (tz://). Recovery-aware: savings are counted after the original bytes can be restored, not after they are thrown away. |
| GraphZero | Code graph for orientation, callers, blast radius, and decision memory (gz://). Public shortly. |
| FSZero | Executable filesystem: live tree, search, controlled mutation, undo (fz://). Public shortly. |
Rust · RACC · CodeMode
3. ast-sgrep
Hybrid lexical and AST graph search. ripgrep finds strings. ast-grep finds shapes. ast-sgrep finds intent.
Local-first, 13 languages, no cloud embedding client. Ships as a standalone CLI and as a Pi package (pi install npm:pi-ast-sgrep).
Rust · code search · Pi
Mac menu bar for local LLM runtimes. One click activates a profile and stops everything else. A profile is green only after a real /v1/models probe (or your custom HTTP check) succeeds.
llama.cpp, MLX, Ollama, vLLM, and the rest sit behind one OpenAI-compatible endpoint. SwiftUI, not Electron.
Swift · macOS · local inference
5. Cortex
Persistent shared memory for coding agents. Local-first Rust daemon with HTTP, MCP, and a desktop control center. One memory, every tool. Data stays on the machine.
Rust · MCP · agent memory
| Project | What it is |
|---|---|
| pi-stack | Pi packages: papercuts friction log, deferred context engine. |
| TweetKB | Private X bookmark knowledge base. Local SQLite, terminal-first, export to notes. |
| TwitterArticles | Save X articles and long-form posts to Markdown, PDF, or DOCX on your machine. |
| outfit-skills | Proof-first agent skill packs. Each racket is a full protocol, not a prompt file. |
| grokplan | Adversarial planning. Tracker rows have to resist weak execution, not only look complete. |