TLA Plus Foundation

TLAPS Proof System

The TLA+ Proof Manager (TLAPS) is a proof system for TLA+ specifications, enabling formal mathematical proofs of system properties. It integrates with back-end provers and supports interactive proof development.

Documentation GitHub

Documentation

📖

Documentation

https://tla.msr-inria.inria.fr/tlaps/

SDKs

📦

GitHubRepository

https://github.com/tlaplus/tlapm

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/tlaps-proof-system"

All apis

curl "https://apis.io/api/v1/apis?limit=25"

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

Get an API key

Free tier, no email required.

GitHub Google LinkedIn

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

API entry from apis.yml

aid: tla-plus-foundation:tlaps-proof-system
name: TLAPS Proof System
description: The TLA+ Proof Manager (TLAPS) is a proof system for TLA+ specifications, enabling formal
  mathematical proofs of system properties. It integrates with back-end provers and supports interactive
  proof development.
humanURL: https://tla.msr-inria.inria.fr/tlaps/
tags:
- Proof System
- Formal Verification
- Mathematics
properties:
- type: Documentation
  url: https://tla.msr-inria.inria.fr/tlaps/
- type: GitHubRepository
  url: https://github.com/tlaplus/tlapm