AutoRocq AI Agent
by NUS-Program-VerificationAgentic 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.
What AutoRocq can touch
- This listing has not been scanned yet.Run shell commandsNot scanned yet
- This listing has not been scanned yet.Run dynamic codeNot scanned yet
- This listing has not been scanned yet.Read or write filesNot scanned yet
- This listing has not been scanned yet.Read environment and secretsNot scanned yet
- This listing has not been scanned yet.Control a web browserNot scanned yet
- This listing has not been scanned yet.Connect to databasesNot scanned yet
- This listing has not been scanned yet.Read or send messagesNot scanned yet
- This listing has not been scanned yet.Touch money or tradingNot scanned yet
- This listing has not been scanned yet.Connect to the internetNot scanned yet
"Not seen" means our checks did not find it, and the tool may still do it. See the scan policy.
Before you install AutoRocq
AutoRocq has not been scanned by AgenticMart yet. It has no open-source license we can detect, so it can only be scanned once the maintainer claims it. Until then, here is what it can likely access and what to check before you install it.
What it can access
- An AI agent decides its own next steps and calls whatever tools you give it, so its risk depends on the access you grant.
Before you install
- Pin the version you reviewed instead of always installing the latest release.
- Read the tool list or scripts before the first run, and keep approval prompts on for actions that write, send or delete.
- Maintained by NUS-Program-Verification on GitHub, 37 stars and 5 forks. Popularity is not proof of safety.
- Last code change: Oct 30, 2026.
- No open-source license detected: check the repository before using it commercially.
AutoRocq is an open-source ai agent by NUS-Program-Verification, written mainly in Python. Agentic Theorem Prover for Rocq for Program Verification
At a glance
- Stars
- 37
- Forks
- 5
- Language
- Python
- License
- None found
- Created
- Feb 2026
- Last update
- Oct 30, 2026
- Type
- AI Agent
- Price
- Free
Topics
Questions about AutoRocq
What is AutoRocq?
Agentic Theorem Prover for Rocq for Program Verification
Who maintains AutoRocq?
AutoRocq is maintained by NUS-Program-Verification on GitHub (NUS-Program-Verification/AutoRocq). AgenticMart lists it from public repository data.
Is AutoRocq safe to use?
AutoRocq has not been scanned by AgenticMart yet. It has no open-source license we can detect, so it can only be scanned once the maintainer claims it. Until then, here is what it can likely access and what to check before you install it.
What license does AutoRocq use?
No standard license was detected. Check the repository before using it commercially.
AutoRocq alternatives
View more →Similar ai agents in Other, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.
| Name | Stars | Licence | Last updated | Scan |
|---|---|---|---|---|
| AutoRocq (this page) NUS-Program-Verification | 37 | None found | Oct 30, 2026 | Not scanned yet |
| Hermes Desktop fathah | 15k | MIT | Oct 13, 2026 | Scanned, no flagged issues |
| CubeSandbox TencentCloud | 13k | None found | Nov 1, 2026 | Not scanned yet |
| Openchamber openchamber | 12k | MIT | Nov 1, 2026 | Scanned, no flagged issues |
| Open Swe langchain-ai | 11k | MIT | Nov 1, 2026 | Scanned, no flagged issues |
| Moltworker cloudflare | 9.9k | Apache-2.0 | May 9, 2026 | Scanned, no flagged issues |