Provable Ruby — Claude app

Prove Ruby business logic for every input with Lean 4: verifiable-Ruby style checks, a Ruby-to-Lean translator, proof recipes, and Ruby-vs-Lean conformance checks.

Provable Ruby

Prove Ruby business logic for every input with Lean 4: verifiable-Ruby style checks, a Ruby-to-Lean translator, proof recipes, and Ruby-vs-Lean conformance checks.

Store

claude

Publisher

Not reported

First observed

2026-10-09T19:00:10+00:00

Open the interactive profile to explore rank history, metrics, tools and listing versions.

Data as of 2026-10-14T00:06:16+00:00.

OpenApps records store listings and observed changes. Store ranks are not download counts; launch dates may be derived or use the first observation. Coverage gaps are shown in the interactive catalog.

REST API specification · Guide for AI clients · Manage API keys and MCP connections