F-KEYS // PRODUCT MANIFEST
loading index ................ ok   12 entries
verifying endpoints .......... ok   12 responding
checking deposits ............ ok   40 works, all with DOIs
operator ..................... vincent gonzalez · orcid 0009-0005-3640-014X

THE WORK

Research tooling, accessibility infrastructure, games, and things that sell. Built independently, shipped publicly, and measured rather than described.

12listed
12live now
40deposited works
8distribution channels
0proofs resting on a sorry

Research & formal methods

R-01LIVE

gonzalgo

Axiom provenance for Lean 4 and Metamath. Which step introduced an axiom, and whether the theorem's own statement required it. Apache-2.0, on PyPI, the MCP registry and Reservoir.

formal methodsLean 4MetamathPython
open →
R-02LIVE

The Kernel Index

A standing measurement of what 14 formal libraries across six foundations rest on. Machine-readable, CC-BY-4.0. Zero theorems resting on an unfinished proof — verified, not assumed.

measurementopen data
open →
R-03LIVE

Papers

35 deposited works with DOIs — axiom provenance, dominator analysis of classical dependence, colour-vision methodology, formal epistemology. Full text, no paywall.

preprintsopen access
open →

Accessibility infrastructure

A-01LIVE

OpticQuiz

Colour-vision accessibility infrastructure. One engine — Machado 2009 simulation, Brettel 1997 cone projection, CIE ΔE2000 conflict detection — shipped across eight distribution channels with no duplicated logic.

accessibilitycolour sciencenpmPyPI
open →

Games & simulation

G-01LIVE

Trailer Load

Freight-loading physics simulator. Weight distribution, axle limits, and the consequences of getting either wrong.

simulationphysics
open →
G-02LIVE

PROMPT

Multiplayer word game running as a Discord Activity, with a daily content engine and an identity system built on earned awards.

Discordmultiplayer
open →

Tools

G-03LIVE

QV

Ballot boxes that live inside a notification. Create a vote, share a link, embed it anywhere.

votingembeds
open →

Hardware

H-01LIVE

RemapWrap

Turn a phone into a programmable macro surface. No app, no extra hardware, just glass.

inputhardware
open →

Commerce & content

C-01LIVE

5Best2Buy

Worth The Hunt — curated shelves of independent makers, plus a tool for finding out who actually owns a brand.

commerceresearch
open →
C-02LIVE

Poticas

The reference site for potica, the Slovenian nut roll. Guides, history, and the printed record of a diaspora pastry.

foodhistory
open →
C-03LIVE

TipStreams

Stateless creator tipping. No account, no custody, no middle layer.

paymentscreators
open →
C-04LIVE

DogeFundMe

Community fundraising, kept deliberately simple.

fundraising
open →