8 projects
stepback
Git time-travel for AI coding agents — checkpoint and rewind Claude Code, Codex, aider, or any command.
actionshift
Benchmark and research harness for manipulation policies adapting to hidden compositional action-interface contracts, with the DualABI controller.
toothprint
Certified dental-imaging intelligence: identification, change, and surface certificates from teeth.
aura-splat
AURA-Core: adaptive unified radiance asset reconstruction engine
hicache-pp
Drop-in TaylorSeer/HiCache basis upgrade: training-free diffusion acceleration via Dynamic Mode Decomposition (Prony) exponential feature forecasting
splatreg
Composable geometry-first SE(3)/Sim(3) registration for 3D Gaussian Splatting, the inverse of gsplat.
certflow
Certified route planning under drifting costs: conformal LB<=OPT<=UB certificates, certificate-directed sensing, proof-gated preprocessing
mathlas-mcp
A tool FOR an AI (no API key, no LLM): search existing math over a 3.7M-doc index + airtight numeric/Lean verification + mathlib search (Loogle/LeanSearch) + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP.
