stale · 0.0 personacapability personaschema

Formal Verification

Score 11.7 / 100 9 providers +1 via APIs 4 APIs Search apis.io →

Providers using this tag (9)

Ranked by API Evangelist rating — Exemplar and Strong are expanded by default.

Thin 2 Limited public surface area
ImandraCompanyArtificial IntelligenceAutomated Reasoning1 API33.9CertoraCompanySecuritySmart Contracts30.4
Emerging 5 Early or largely undocumented
HarmonicCompanyArtificial IntelligenceMathematics1 API22.4AdaCoreCompanyADASSparkRust20.7Cajal TechnologiesCompanyArtificial IntelligenceMathematics12.4AtalantaCompanyArtificial IntelligenceSoftware Assurance11.4LeanDependent TypesProgramming LanguageTheorem Prover1 API11.4
Minimal 2 Almost no public developer surface
Sec3CompanyCrypto Web3SecurityBlockchain7.5Bedrock SystemsCompanySecurityCybersecurityHypervisor6.1

APIs with this tag (4)

Ranked by the provider's API Evangelist rating — the Kin Score is scored per provider, not per API, so every API of a provider shares its band. How the rating works →

Emerging 4 Early or largely undocumented
Aristotle APIProgrammatic access to Aristotle, Harmonic's formal reasoning agent. Over HTTPS with an API key, submit Lea...22.4TLAPS Proof SystemThe TLA+ Proof Manager (TLAPS) is a proof system for TLA+ specifications, enabling formal mathematical proo...20.8TLC Model CheckerTLC is the primary model checker for specifications written in TLA+. It can be run from the command line us...20.8LeanLean theorem prover and programming language for formal verification of mathematics and software.11.4

Companies reaching this through an API (1)

These companies publish an API, specification or operation carrying “Formal Verification” but do not classify their business under it. Listed unranked and kept out of the count above, because one tagged operation is not a statement about what a company does.

TLA Plus Foundation

Score breakdown

Frequency
30.6
log-scaled weighted occurrences
Breadth
0.2
spread across providers
Quality lift
19.7
mean composite of providers using it
Cohesion
0.6
strength of nearest seed neighbor

Related tags

Developer Tools 5 co-occurrences Company 8 co-occurrences

Where this tag comes from

Provider tag9
Api tag4

Work with this as data

Every tag 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 tags

7 MCP tools reach this
  • find_tagsBrowse and filter every tag in the catalog.
  • get_cohortThis tag as a scored cohort — every provider carrying it, with scores.
  • cohort_statsPRO — the distribution across this tag: mean, median, band split, adoption rates.
  • cohort_rankingsPRO — the leaderboard, on composite AND agent-readiness axes.
  • 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 tag 
curl "https://apis.io/api/v1/tags/formal-verification"
All tags 
curl "https://apis.io/api/v1/tags?limit=25"
As a scored cohort 
curl "https://apis.io/api/v1/cohorts/tag/formal-verification"
The distribution (Pro) 
curl "https://apis.io/api/v1/cohorts/tag/formal-verification/stats" \
  -H "X-API-Key: $APIS_IO_KEY"

Discovery needs no key. Ratings and market analysis are Pro.

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.

GitHub Google LinkedIn

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