What is certora-cli-alpha-shay-Lexp?
47/100
Trust Score (D)
⚠️ Use Caution
certora-cli-alpha-shay-Lexp is a pypi that Runner for the Certora Prover. It has a Nerq Trust Score of 47/100 (D). 0 GitHub stars. Published by Certora. 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
47
TRUST SCORE
D
GRADE
0
STARS
0
DOWNLOADS
What certora-cli-alpha-shay-Lexp Does
certora-cli-alpha-shay-Lexp is a pypi in the pypi category. Runner for the Certora Prover. It is published by Certora and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use certora-cli-alpha-shay-Lexp
certora-cli-alpha-shay-Lexp is recommended only for experimental use. Consider alternatives with higher trust scores for production systems.
Details
| Author | Certora |
|---|---|
| Category | pypi |
| License | Not specified |
| Type | pypi |
| 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=certora-cli-alpha-shay-lexp
Setup guide · Full safety report · Production review · Is it safe?
Frequently Asked Questions
What is certora-cli-alpha-shay-Lexp used for?
certora-cli-alpha-shay-Lexp is a pypi tool. Runner for the Certora Prover.
Is certora-cli-alpha-shay-Lexp free?
License: Check project page. certora-cli-alpha-shay-Lexp has 0 GitHub stars.
Is certora-cli-alpha-shay-Lexp safe?
certora-cli-alpha-shay-Lexp has a Nerq Trust Score of 47/100 (D). Evaluate carefully.
What are alternatives to certora-cli-alpha-shay-Lexp?
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.