Skip to content

Drop Aisles MCPs My tools

Digital tools, checked against the public record.

Shelf Drop Aisles MCP tools My tools Coverage About Privacy Developers

llms.txt llms-full.txt OpenAPI MCP Follow via RSS Sitemap robots.txt

© 2026 Toolshelf. Your tools stay on this device.

OpenATP · Toolshelf

Preview of OpenATP

Code with AI Test software

OpenATP

A platform for automated theorem proving in Lean.

CategoriesDev·AI

Why it made the shelf

OpenATP is a developer tool and platform designed for automated theorem proving using the Lean programming language.

Seen on

Hacker News

First seen: 3 months ago
Best score: 3 points

Visit github.com

Suggest a correction

Best matches

DeltixDirect alternative
QUALITY.mdDirect alternative

Behind the tool

Who built it. How it grew.

People, backing, growth, and ownership. Every claim links to its source.

Official sitegithub.com↗

Source review queued

Built by

Henry RobbinsRepository ownerPlatform record · GitHub

Public trail

Where it showed up

1 reference from 1 publisher.

First trace: Hacker News3 months ago

01Hacker News
3 months ago
First trace
A platform for automated theorem proving in Lean
3 pointsOpen thread on hackernews

3 tools

More for this job

Compare Browse Dev

Halo
A local debugger for AI agent traces to help developers inspect and fix agent behavior.
Jacobi–IDE for Abaqus
An IDE for Abaqus subroutines featuring analytical tests and AI diagnosis.

Selector ForgeDirect alternative

Compare ↗

Argus

Agentic QA testing tool for teams using fast coding agents.