Who is keymaerax for?

keymaerax is an open-source project built for developers.

Does keymaerax have a free plan?

Yes — keymaerax is open source under the MIT license and free to use.

What platforms does keymaerax run on?

keymaerax runs on the command line and API.

Is keymaerax still maintained?

Unverified. keymaerax has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.

What projects are similar to keymaerax?

Similar projects tracked by PulseGate include funkuino, statsbadge, and cnpj-val.

keymaerax is developed by KeYmaera X Project.

How long has keymaerax been around?

keymaerax first shipped in 2026.

Back to the index

keymaerax

Name: keymaerax
Author: KeYmaera X Project

PyPIInfrastructure

keymaerax is a command-line tool that wraps the KeYmaera X theorem prover and exposes it as a Docker-based API service. It enables developers and researchers to perform formal verification of hybrid systems through a simple CLI or REST API interface. The project is open source under the MIT license and is hosted on GitHub.

Open SourceMITCLIAPI

Visit PyPI

Overview

3 features

keymaerax is an Other dev tools project. It focuses on running formal verification theorem proving for hybrid systems via an accessible API or CLI. keymaerax is an open-source project aimed at developers. The project is open source (MIT). keymaerax is available on the command line and API.

It is developed by KeYmaera X Project, and it first shipped in 2026. Key capabilities include docker integration, API service, and theorem proving.

Summary written by a language model from the project’s public pages.

Docker integration
API service
Theorem proving

Built with & integrations

Runs on

CLIAPI-only

Trust & compliance

License

MIT

Verified signals

HTTPSOpen Source GitHub

Indexing history

What PulseGate has recorded for this listing

Indexed3 Aug · 20:08 UTC
keymaerax verified against its public source
Source: PulseGate · Open

Frequently asked questions about keymaerax

What does keymaerax do?: Keymaerax focuses on running formal verification theorem proving for hybrid systems via an accessible API or CLI. It is catalogued under Other dev tools on PulseGate.
Who is keymaerax for?: keymaerax is an open-source project built for developers.
Does keymaerax have a free plan?: Yes — keymaerax is open source under the MIT license and free to use.
What platforms does keymaerax run on?: keymaerax runs on the command line and API.
Is keymaerax still maintained?: Unverified. keymaerax has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
What projects are similar to keymaerax?: Similar projects tracked by PulseGate include funkuino, statsbadge, and cnpj-val.funkuino statsbadge cnpj-val
Who makes keymaerax?: keymaerax is developed by KeYmaera X Project.
How long has keymaerax been around?: keymaerax first shipped in 2026.

At a glance

Platforms: Cli
Languages: English
Open source: Yes (GitHub)
License: MIT
First seen: 3 Aug 2026
Built for: developers
Model: Open source
Solves: Running formal verification theorem proving for hybrid systems via an accessible API or CLI.

Registered as

GitHub: keymaerax/keymaerax-api
PyPI: keymaerax

Developer

KeYmaera X Project

GitHub

Open source

View on GitHub

Live coverage

Identity confidence: Low · 64
Indexed: 3 Aug 2026
Lifecycle: Alive
First seen: Aug 2026
Last seen: 3 Aug 2026

Identity audit (13)

Slug: keymaerax-pypi-org
Lifecycle state recorded: 3 Aug 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 3 Aug 2026
Timeline basis: Indexed-at chronology (no inferred launch/funding milestones).
Name from: Written by a language model from the project's public pages.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model from page content.
Last updated: 3 Aug 2026
Canonical URL: https://pypi.org/project/keymaerax

Ship this? Send a correction — no account, and you get a link to follow it.

Also in Other dev tools

Same category — not a similarity match