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
Read the README on GitHub

This repository has no open-source license we can detect, so we don't republish its README here.

View on GitHub

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