AutoRocq AI Agent

by NUS-Program-Verification• 37•• Not scanned yet•Claim this listing•Request removal
Otherllm agentrocq provertheorem provingverification

Agentic Theorem Prover for Rocq for Program Verification

AutoRocq is an open-source ai agent by NUS-Program-Verification, written mainly in Python, with 37 GitHub stars. Its code was last updated Oct 30, 2026.

aboutREADMEsecurityreviews
–
No reviews yet
Write a review

Sign in with GitHub to rate this listing.

    AutoRocq alternatives

    View more →

    Similar ai agents in Other, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.

    NameStarsLicenceLast updatedScan
    AutoRocq (this page)
    NUS-Program-Verification
    		37None foundOct 30, 2026Not scanned yet
    Hermes Desktop
    fathah
    		15kMITOct 13, 2026Scanned, no flagged issues
    CubeSandbox
    TencentCloud
    		13kNone foundNov 1, 2026Not scanned yet
    Openchamber
    openchamber
    		12kMITNov 1, 2026Scanned, no flagged issues
    Open Swe
    langchain-ai
    		11kMITNov 1, 2026Scanned, no flagged issues
    Moltworker
    cloudflare
    		9.9kApache-2.0May 9, 2026Scanned, no flagged issues