F-Keys Creative LLC Measurement tables API

Published measurements of what formal mathematical libraries rest on. Each table carries its own version, sha256 and series DOI.

GitHub OpenAPI

Operations 30

25 of 30 operations are conformant: apis.io called them with no credentials and the responses matched this contract; 5 more answered but could not be checked against a schema. Checked 2026-11-12. how this works · status file

GET /gonzalgo/choice-strength/choice-strength.json The Choice Strength Table conformant #
GET /gonzalgo/cleanable/cleanable.json The Cleanable Table conformant #
GET /gonzalgo/controlled-tactics/controlled-tactics.json The Controlled Tactic Table conformant #
GET /gonzalgo/dominator-table/dominator-table.json The Dominator Table conformant #
GET /gonzalgo/entry-points/entry-points.json The Entry-Point Table conformant #
GET /gonzalgo/generated-proofs/generated-proofs.json What machine-generated Lean proofs rest on observed #
GET /gonzalgo/kernel-index/kernel-index.json The Kernel Index observed #
GET /gonzalgo/kernel-trust/kernel-trust-0.1.schema.json Kernel Trust Profile 0.1 conformant #
GET /gonzalgo/kernel-trust/profiles/aesop.json Kernel Trust Profile: Aesop conformant #
GET /gonzalgo/kernel-trust/profiles/batteries.json Kernel Trust Profile: Batteries conformant #
GET /gonzalgo/kernel-trust/profiles/hol.mm.json Kernel Trust Profile: hol.mm conformant #
GET /gonzalgo/kernel-trust/profiles/iset.mm.json Kernel Trust Profile: iset.mm conformant #
GET /gonzalgo/kernel-trust/profiles/lean-core-init.json Kernel Trust Profile: Lean core (Init) conformant #
GET /gonzalgo/kernel-trust/profiles/lean-core-lean.json Kernel Trust Profile: Lean core (Lean) conformant #
GET /gonzalgo/kernel-trust/profiles/mathlib.json Kernel Trust Profile: Mathlib conformant #
GET /gonzalgo/kernel-trust/profiles/nf.mm.json Kernel Trust Profile: nf.mm conformant #
GET /gonzalgo/kernel-trust/profiles/plausible.json Kernel Trust Profile: Plausible conformant #
GET /gonzalgo/kernel-trust/profiles/proofwidgets.json Kernel Trust Profile: ProofWidgets conformant #
GET /gonzalgo/kernel-trust/profiles/ql.mm.json Kernel Trust Profile: ql.mm conformant #
GET /gonzalgo/kernel-trust/profiles/qq.json Kernel Trust Profile: Qq conformant #
GET /gonzalgo/kernel-trust/profiles/set.mm.json Kernel Trust Profile: set.mm conformant #
GET /gonzalgo/kernel-trust/profiles/std.json Kernel Trust Profile: Std conformant #
GET /gonzalgo/metamath-axioms/metamath-axioms.json The Metamath Axiom Table conformant #
GET /gonzalgo/module-spend/module-spend.json The Module Spend Table conformant #
GET /gonzalgo/setmm-axioms/setmm-axioms.json The set.mm Axiom Table observed #
GET /gonzalgo/site-diagnosis/site-diagnosis.json The Site Diagnosis Table conformant #
GET /gonzalgo/spend-points/spend-points.json The Spend-Point Table conformant #
GET /gonzalgo/substitution-ledger/substitution-ledger.json The Substitution Ledger observed #
GET /gonzalgo/tactic-bands/tactic-bands.json The Tactic Background Table conformant #
GET /gonzalgo/version-delta/version-delta.json The Version Delta Table observed #

Work with this as data

Every API here is available over the APIs.io API and to AI agents over MCP.

MCP server

One button, every client — Claude, Cursor, VS Code and the rest.

https://apis.io/mcp

Tools for apis

7 MCP tools reach this
  • find_apisBrowse and filter every API in the catalog.
  • get_api_artifactsOne API's artifacts, grouped by type.
  • get_openapiThe primary OpenAPI for this API.
  • find_similar_apisAPIs that look like this one.
  • apis_io_searchSTART HERE — APIs, providers and tags for one query, each with its total.
  • resolveTurn a domain, URL or GitHub org into the provider it belongs to.
  • find_cohortsEvery scored population of providers in the catalog.
All 92 tools →

Call it yourself

curl for this page
This API
curl "https://apis.io/api/v1/apis/f-keys-com:f-keys-com-measurement-tables-api"
All apis
curl "https://apis.io/api/v1/apis?limit=25"

Calls without X-API-Key need no key. Calls with it need a paid plan — get a key.

Get an API key

Free tier, no form to fill in. Signing in shares your email address with us — we store it to create your key and to recognise you if you sign in with another provider. See our Privacy Policy and Terms.

A second provider on the same verified email joins the account you already have.

OpenAPI Specification

f-keys-com-measurement-tables-api-openapi.yml Raw ↑
openapi: 3.2.0
info:
  title: F-Keys published data Measurement tables API
  version: 1.0.0
  summary: Read-only static datasets. Not a hosted API.
  description: 'F-Keys does not run a hosted API. Nothing here takes a parameter, no request

    is authenticated, there are no write operations, and there is no rate limit

    because there is no server of ours in the path - every file below is static

    and served from a CDN.


    What this document describes is the read-only data surface that already

    exists: the published gonzalgo measurement tables, the Kernel Trust Profile

    schema and the profiles conforming to it, and the daily status snapshot. It

    is here so an agent can find those files and know their shape without

    scraping HTML.


    Every path in this specification is generated from a file that exists in the

    repository. If a dataset is removed, it leaves this document on the next

    build rather than remaining as a promise.


    Each measurement table is a single JSON object carrying its own name,

    description, version, sha256, license and series DOI alongside its rows, so a

    consumer can cite it and verify it did not change underneath them.


    Pages on this site also serve `text/markdown` when the request asks for it

    via `Accept`, per acceptmarkdown.com.'
  contact:
    name: F-Keys
    email: hello@f-keys.com
    url: https://f-keys.com/contact.html
  license:
    name: CC BY 4.0
    identifier: CC-BY-4.0
servers:
- url: https://f-keys.com/v1
  description: 'Version 1. The same documents as the bare paths, under a prefix that carries a promise: what is served here keeps the shape it has today, and a breaking change appears as /v2 while /v1 is served with Deprecation and Sunset headers for 180 days. Responses carry X-API-Version: v1.'
- url: https://f-keys.com
  description: The same files without the version prefix. Identical bytes; pin on each document's own sha256 or seriesDoi instead of on a path.
tags:


# --- truncated at 32 KB (166 KB total) ---
# Full source: https://artifacts.apis.io/f-keys-com/openapi/f-keys-com-measurement-tables-api-openapi.yml