# F-Keys Creative LLC Measurement tables API

**Canonical:** https://apis.io/apis/f-keys-com/f-keys-com-measurement-tables-api/  
**Provider:** F-Keys Creative LLC — https://apis.io/providers/f-keys-com/  
**Base URL:** https://f-keys.com/v1  
**Documentation:** https://f-keys.com/developers.html

F-Keys Creative LLC Measurement tables API is one of 2 APIs that [F-Keys Creative LLC](https://apis.io/providers/f-keys-com/) publishes on the [APIs.io](https://apis.io/) network, described by a machine-readable OpenAPI specification. Tagged areas include Measurement Tables. The published artifact set on APIs.io includes an OpenAPI specification.

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

## Operations (30)

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

## Machine-readable artifacts (2)

- **OpenAPI** — https://artifacts.apis.io/f-keys-com/openapi/f-keys-com-measurement-tables-api-openapi.yml
- **APIsJSON** — https://artifacts.apis.io/f-keys-com/apis.yml

## Other F-Keys Creative LLC APIs (1)

- [F-Keys Creative LLC Status API](https://apis.io/apis/f-keys-com/f-keys-com-status-api/)

## Tags

Measurement Tables

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/apis/f-keys-com/f-keys-com-measurement-tables-api/). The API's provider profile, Kin Score and agent-readiness rating are at https://apis.io/providers/f-keys-com/.