by gipsyh · Agent Tool · ★ 110
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
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. For a concrete example, see https://github.com/gipsyh/cill-exp HWMCC rIC3 achieved first place in both the bit-level track and the word-level bit-vector track at the 2024 and 2025 Hardware Model Checking Competition (HWMCC). rIC3 Tool Flow Install From Crates.io Install From Source rIC3 can be compiled on both Linux and macOS. Install the Rust compiler Clone the repository: git c
| Stars | 110 |
| Forks | 24 |
| Language | Rust |
| Category | Agent Tool |
| License | GPL-3.0 |
| Quality Score | 67.9995070929533/100 |
| Open Issues | 2 |
| Last Updated | 2026-06-28 |
| Created | 2023-02-06 |
| Platforms | rust |
| Est. Tokens | ~22k |
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.
12,000+ open source STEP parts for your next CAD project
Hardware testing for the software world. Real or virtual, local or remote, human, automated or agentic.
📟 Claude Code physical companion on M5Paper V1.1 e-ink. Multi-session dashboard, hardware approval (buttons +
Edge-Hardware (SoC/MCU) oriented Claw🦞
Edge-Hardware (SoC/MCU) oriented Claw🦞
Universal Intel Chipset Device Updater is an advanced, security-focused tool that automatically detects your I
Explore other popular agent tool tools:
rIC3 is LLM-Assisted Hardware Formal Verification Tool. It is categorized as a Agent Tool with 110 GitHub stars.
rIC3 is primarily written in Rust. It covers topics such as formal-verification, hardware, ic3.
You can find installation instructions and usage details in the rIC3 GitHub repository at github.com/gipsyh/rIC3. The project has 110 stars and 24 forks, indicating an active community.
rIC3 is released under the GPL-3.0 license, making it free to use and modify according to the license terms.
The top alternatives to rIC3 on Agent Skills Hub include step.parts, jumpstarter, m5-paper-buddy. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.