Space: Vilin97/VeriDeepResearch
title: VeriDeepResearch
sdk: docker
license: apache-2.0
short_description: Verified Deep Research powered by Lean 4
Tags: docker, region:us