What is rate-proof-utils?
48/100
Trust Score (D)
⚠️ Use Caution
rate-proof-utils is a crates that Utilities for clausal proofs (DRAT, DPR). It has a Nerq Trust Score of 48/100 (D). 0 GitHub stars. Published by Unknown. Last analyzed September 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 0/100 — Maintenance activity is low
- ⚠️ Community: 0 stars, 0 downloads — Growing community
- ⚠️ Transparency: License: Not specified — No license specified
Trust & Safety Overview
48
TRUST SCORE
D
GRADE
0
STARS
0
DOWNLOADS
What rate-proof-utils Does
rate-proof-utils is a crates in the crates category. Utilities for clausal proofs (DRAT, DPR). It is published by Unknown and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use rate-proof-utils
rate-proof-utils is recommended only for experimental use. Consider alternatives with higher trust scores for production systems.
Details
| Author | Unknown |
|---|---|
| Category | crates |
| License | Not specified |
| Type | crates |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 0/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=rate-proof-utils
Setup guide · Full safety report · Production review · Is it safe?
Frequently Asked Questions
What is rate-proof-utils used for?
rate-proof-utils is a crates tool. Utilities for clausal proofs (DRAT, DPR).
Is rate-proof-utils free?
License: Check project page. rate-proof-utils has 0 GitHub stars.
Is rate-proof-utils safe?
rate-proof-utils has a Nerq Trust Score of 48/100 (D). Evaluate carefully.
What are alternatives to rate-proof-utils?
Top alternatives: . See full comparison.
Safety Report Is It Safe?
Alternatives Prediction
Trending Leaderboard
Discover MCP Servers
Packages Models
Stats API
Last updated September 2026. Trust scores based on automated analysis of public data.