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
Not scanned yet

This listing was imported from public GitHub data and hasn't been through AgenticMart's security scan. Until it is, treat it like any unreviewed code: read the source and limit what it can access.

  • Static code scan — pending
  • Secrets & dependency CVEs — pending
  • Build & boot check — pending
  • Network egress audit — pending
  • Public report — pending
I maintain this — claim & scanHow scans work

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