by gipsyh · Agent Tool · ★ 123
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
None of the 42 rules matched — no credential harvesting, no data exfiltration, no curl-pipe-shell installer. Scanned against 42 published rules built on the SlowMist agent-security taxonomy, refreshed every 8 hours.
The quality score combines nine heuristic checks of the repo and its README: completeness, clarity, specificity, examples, structure, agent readiness, step-by-step content, instruction quality and security notes. It rates how well the project explains itself to an agent, not the code.
| Stars | 123 |
| Forks | 32 |
| Language | Rust |
| Category | Agent Tool |
| License | GPL-3.0 |
| Quality Score | 68/100 |
| Open Issues | 13 |
| Last Updated | 2026-10-15 |
| Created | 2023-02-06 |
| Platforms | rust |
| Est. Tokens | ~22k |
rIC3 Hardware Model Checker LLM-Assisted Model Checking rIC3 supports LLM-accelerated model checking through invariant generation. For details, see the paper CIll: CTI-Guided Invariant Generation via LLMs for Model Checking. The prompt and VCD inspection MCP tools are located under the directory.
These tools work well together with rIC3 for enhanced workflows:
Looking for a rIC3 alternative? If you're comparing rIC3 with other agent tool tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.
Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected
12,000+ open source STEP parts for your next CAD project
Composable mathematics tools for agents
Local dashboards and physical controls for AI coding agents — native 3D aquariums, Stream Deck, Apple/Android
Hardware testing for the software world. Real or virtual, local or remote, human, automated or agentic.
Universal Intel Chipset Device Updater is an advanced, security-focused tool that automatically detects your I
Explore other popular agent tool tools:
Grades come from a rule-based scan built on the SlowMist agent-security taxonomy: 42 published rules, covering credential harvesting, data exfiltration, curl | sh installers and more. It is a first-layer scan, not a manual audit — we say so rather than overstate it.
The scale of the problem is documented independently: Liu et al. (2026), in a study of 31,132 agent skills, report that 26.1% contain security vulnerabilities. Our own full-catalog census is published as a citable open dataset.
Sources & who's responsible: