tonyido2012/lighter-prover

🔍 Enhance your circuit verification with Lighter Prover, a streamlined tool for efficient theorem proving and logical reasoning.

/ 100

Experimental

No Package No Dependents

Maintenance 13 / 25

Adoption 0 / 25

Maturity 9 / 25

Community 0 / 25

Stars

—

Forks

—

Language

Rust

License

—

Category

Last pushed

Mar 19, 2026

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/tonyido2012/lighter-prover"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

ash-project/igniter

A code generation and project patching framework.

IntelLabs/encrypted-computing-sdk

Intel’s HERACLES accelerator introduces a new set of fundamental instructions, the Polynomial...

hypergol/hypergol

Hypergol is a Data Science/Machine Learning productivity toolkit to accelerate any projects into...

d-led/gen_server_virtual_time

virtual time-based extension to the GenServer behavior that allows testing time-based processes...

hyperpolymath/anvomidaviser

Convert ISU notation to formal figure skating programs via Anvomidav