rIC3

About rIC3

LLM-Assisted Hardware Formal Verification Tool

formal-verification hardware ic3 model-checking

Quick Facts

Stars	104
Forks	23
Language	Rust
Category	Agent Tool
License	GPL-3.0
Quality Score	38.25/100
Open Issues	2
Last Updated	2026-05-22
Created	2023-02-06
Platforms	rust
Est. Tokens	~374k

Compatible Skills

These tools work well together with rIC3 for enhanced workflows:

DuckyClaw — semantic(0.31)+complementary+rare_topics+similar_pop (45%)
chiasmus — semantic(0.43)+complementary+similar_pop (45%)

More Agent Tool Tools

Explore other popular agent tool tools:

superpowers ⭐ 202.7k
AutoGPT ⭐ 184.5k
ollama ⭐ 172.0k
langflow ⭐ 148.7k
langchain ⭐ 137.4k
gstack ⭐ 100.8k
skills ⭐ 95.6k
browser-use ⭐ 95.0k
autoresearch ⭐ 82.7k
deer-flow ⭐ 69.1k

View all Agent Tool tools →

Popular Rust Agent Tools

cc-switch ⭐ 77.3k · MCP Server
rtk ⭐ 52.8k · Agent Tool
Pake ⭐ 48.9k · Claude Skill
agent-browser ⭐ 34.0k · Agent Tool
zeroclaw ⭐ 31.5k · Codex Skill

Frequently Asked Questions

What is rIC3?

rIC3 is LLM-Assisted Hardware Formal Verification Tool. It is categorized as a Agent Tool with 104 GitHub stars.

What programming language is rIC3 written in?

rIC3 is primarily written in Rust. It covers topics such as formal-verification, hardware, ic3.

How do I install or use rIC3?

You can find installation instructions and usage details in the rIC3 GitHub repository at github.com/gipsyh/rIC3. The project has 104 stars and 23 forks, indicating an active community.

What license does rIC3 use?

rIC3 is released under the GPL-3.0 license, making it free to use and modify according to the license terms.

View on GitHub → Browse Agent Tool tools