Pyboolector est-il sûr ?

Pyboolector — Nerq Trust Score 66.0/100 (Note B-). Score basé sur 2 independent trust signals. Dernière analyse : 2026-07-22

Pyboolector est un package Python avec un Nerq Trust Score de 66.0/100 (B-), basé sur 3 dimensions de données indépendantes. Dernière analyse : 2026-07-22 Sécurité: 90/100. Popularité: 60/100. Données de PyPI registry, GitHub repository, NVD, OSV.dev, and OpenSSF Scorecard. Dernière mise à jour: 2026-07-22. Données lisibles par machine (JSON).

Pyboolector sur d'autres plateformes

Même développeur/entreprise dans d'autres registres :

Guide de Sécurité : Pyboolector

Qu'est-ce que Pyboolector?

Pyboolector est un paquet Python — Python wrapper around the Boolector SMT solver.

Comment Vérifier la Sécurité

Run pip audit or safety check. Review on PyPI for download stats.

Vous pouvez également vérifier le score de confiance via l'API : GET /v1/preflight?target=pyboolector

Principales Préoccupations de Sécurité pour Python package

Lors de l'évaluation de tout Python package, surveiller : dependency vulnerabilities, malicious uploads, maintenance status.

Measured Signals

Pyboolector has a Nerq Trust Score of 66/100 (B-). This score is a composite of automated measurements of sécurité, maintenance, community, and quality signals.

Points Essentiels

• Pyboolector has a Trust Score of 66/100 (B-).
• The score is a measured composite — it is not a suitability judgment. Evaluate the individual signals against your own requirements.
• Query the current measured values via the Nerq API.

Disclaimer: Les scores de confiance Nerq sont des évaluations automatisées basées sur des signaux publiquement disponibles. Ce ne sont pas des recommandations ou des garanties. Effectuez toujours votre propre vérification.