Discover Collections Weekly picks Stats

한국어 English

Submit a service

Menu

Discover Collections Weekly picks Stats

Submit a service

SCANNING · Loading page

Loading
the next page.

Content will appear as soon as it is ready.

ensemble-prover: Autonomous theorem prover combinin… | Indie Raiders

Unknown regionDeveloper toolsSeptember 10

ensemble-prover

Autonomous theorem prover combining language-model proof search with Lean 4 verification.

Visit website ↗

ensemble-prover screenshot

SITE CAPTURE

PricingCheck the website

CategoryDeveloper tools

Site nameensemble-prover

RegionUnknown region

Based on information published on the service's website. Selection and review policy

Developer tools
Open source

Report this service

ReasonDetails (optional)Evidence URL (optional)CompanyThe operator checks the evidence. A single report does not automatically block a service.

Similar services

Unknown region · Developer toolsraggy

A lightweight RAG CLI that searches local documents and answers with sources

Unknown region · Developer toolsoz

A Zig terminal editor combining Vim-style editing with fast file handling.

Unknown region · Developer toolsxcrashlytics

Crashlytics for AI coding agents.

Unknown region · Developer toolsk10s

Kubernetes TUI you can click.

Based on information published on the service's website

Collections Korean services AI tools Developer tools Open source

About · Privacy · Contact© 2026 Raiders