Hi! I’m Clay. I build useful software, explore hard problems, and write down what I learn.
Work
Precise, cited math for drone mapping, surveying, aviation, and geodesy that runs on your device, even offline.
Sophie WellThousands of clinical calculators, drug references, and billing codes behind one search box. Free, private, and fast enough to use at the bedside.
Open Sim LabPractice the codes you cannot practice on patients. Full clinical simulations that run with no cost, no login, no install, and no network.
Rough LogicEvery calculation a trade needs, cited and correct, in a browser that still works when the job site has no signal.
EnklayveSee what your paycheck, taxes, debt, and retirement actually look like without handing your finances to a single server.
Encrypt A LottaEncrypt, sign, hash, split a secret, scrub metadata. A full crypto toolkit that runs inside your tab and uploads nothing, ever.
VaulyticaRead a contract the way a linter reads code. Finds the clauses that cost you later and cites the exact line behind every one.
ArmorlyYour AI assistant should answer to you, not to advertisers. Strips ads and affiliate tracking out of ChatGPT, Grok, and Perplexity, and catches hidden prompt injection.
Way of KenseiA duel decided by reading your opponent, not by luck, grinding, or timers. Matches end in minutes.
TokensCompute is the commodity and the market is the board. Corner the AI stack before your opponent does.
ProxilionYour AI agents already hold your SaaS credentials. Proxilion makes sure they can only do what a human actually scoped, and proves it on every single call.
KynticThe last line between a model and a machine that can hurt someone. Fails closed, in hardware, before an unsafe command ever reaches the actuator.
OpenLoreYour coding agent stops guessing. One call tells it exactly what a task touches, one gate tells it what it must not break. No API key, same answer every time.
Agent ReplayYour agent broke in production and the logs will not say why. Rewind the run, fork it at the exact step that went wrong, and prove the fix before you ship it.
Mantissa StanceThe cloud posture platform that normally costs six figures, rebuilt in the open. 300+ policies across AWS, GCP, and Azure in YAML you can actually read and change.
Mantissa LogAsk your logs a question in plain English and get a real answer. A serverless SIEM that runs for a fraction of what the incumbents charge.
AttestfulAudit season without the scramble. Pulls evidence from 30+ platforms, shows exactly which controls are still short, and exports OSCAL that any GRC tool can ingest.
QiuthA leaked API key should not be game over. Qiuth turns bearer keys into proof-of-possession tokens that need more than the key itself to work.
Enklayve AIA private AI that reads your documents on a laptop with the wifi switched off. Local models, encrypted at rest, free forever.
InvariantA signed safety boundary between an AI policy and anything that can move, dose, or open a valve. Refuses unsafe commands and leaves a verifiable audit trail even when the model itself is compromised.
VeridexFind out whether a robot dataset is safe to train on before it quietly wrecks your model. One command, any format, and a signed trust certificate you can hand to anyone.
AnvilateDescribe a part and get the bending, buckling, resonance, and bolted-joint checks back with the code clause behind every number. No cloud, no account, no silent pass.
Research
About half of published biomedical models cannot be reproduced from their own papers. Reprolith rebuilds the model, re-runs it, and certifies result by result whether it holds.
AlleleForgeVariant in, corrective edit out. CRISPR design across nuclease, base, and prime editors, with calibrated uncertainty and population-aware off-target nomination.
VerisimMost AI guardrails assert that they are complete. Verisim proves whether yours is, returning the exact commands it lets through, each one demonstrated against a real shell.
OnkosThe tumor-growth and exposure-response models oncology drug development runs on, annotated by evidence strength and exported straight into NONMEM and SBML.
HypnosAnesthetic PK/PD parameters that carry their own applicability envelopes, so the model tells you when you have left the data it was built on.
HarmoniaCardiac ion-channel block data that answers with a proarrhythmia risk distribution, and how often the safety call flips, instead of a confident verdict it cannot support.
NidusHuman gestational physiology, every parameter tier-annotated by evidence strength and exportable to SBML, CellML, and PhysioCell.