Nobody has claimed this office yet. Tablif records every new product and gives it an office; when its owner claims it, the lights go on.

What Tablif read on Apex's site

Apex describes itself as: “Apex Democratizing Formal Verification for the Agentic Era”

Stage: Beta

Where it puts itself

Rules out “PyPI”.

Says it will not: PyPI

“The package is not on PyPI.”

Who it sells to

Sells to businesses. Built for teams. Made for Developers. Available in 3 languages.

Sells to: businesses
Company size: teams
Made for: Developers
Languages: JavaScript · Python · TypeScript

“Teams that use coding agents.”

“Developers who need more than tests for important functions, for example arithmetic, bounds”

How it runs

A command-line tool for Windows. Runs locally and works offline. No API. Open source. AI is a side feature. You can bring your own API key.

Kind: cli
Runs on: Windows
Runs where: on the device, offline
API: no
Open source: yes
AI role: a side feature
Bring your own key: yes

“Apex puts one interface in front of them.”

“On Windows, use WSL.”

What it works with

Integrates with Claude Code, Codex, Cursor and 2 more. Names TLA+ on its pages.

Integrates with: Claude Code · Codex · Cursor · +2
Names: TLA+

“Apex puts one interface in front of them.”

“One command ( apex skill install --with-mcp ) installs the apex-verify Agent Skill and the apex MCP server for Claude Code, Codex, Gemini CLI, Cursor and VS Code (Copilot).”

What it offers as proof

In beta. Publishes docs.

Stage: beta

“Status: Research prototype.”

“You must be signed in to star a repository”

Sources

Tablif read these pages, last on 2 Nov 2026. Everything above is what the product says about itself; Tablif does not verify every claim.

github.com/hyperionaidev/apex

Apex · Office #59,460