Work

Systems with receipts.

Everything here is either shipped with public, verifiable proof, or honestly labelled as in build. There is no third category.

Shipped — CallMed AI

01

Symbiote

PEP 484 annotation · AST dependency graph · 9 merged PRs

02

RepoMend

5 scanners · 3-gate verification · fix shipped in checkdmarc v5.17.3

In build — 2026

03

QG-Synthesis Engine

Symbolic regression · Lean 4 proofs · Phase 0

04

Local-first desktop agent

On-device VLM · PII redaction · R&D

05

Unannounced

Developer tooling · named the day it ships