Work

Systems with receipts.

Everything here is shipped with public, verifiable proof — merged pull requests, published packages, a signed exhibition contract — or it's honestly labelled as in build. There is no third category that hides which one a thing is.

Shipped — CallMed AI

01

FixProve

AST verification · zero LLM tokens · published to PyPI & npm


02

Patchward

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


03

Provenar

PEP 484 annotation · AST dependency graph · 11 merged PRs

In build — 2026

04

QG-Synthesis Engine

Symbolic regression · Lean 4 proofs · Phase 2


05

Local-first desktop agent

On-device VLM · PII redaction · R&D


06

Zerkalnya

Personal editorial project · governed, unpublished · early stage


07

Dimensions

Human-AI research document · self-correcting · pilot in progress


08

Forecast observatory

Live sealed ledger · two AI models scored on outcomes · paper scores, nothing staked

Also — practice

08

OMSORG

AI-generated art · on-chain provenance · exhibited, Galleri Gallo