Pyboolector có an toàn không?

Pyboolector — Nerq Trust Score 66.0/100 (Hạng B-). Điểm dựa tr��n 2 independent trust signals. Phân tích gần nhất: 2026-07-22

Pyboolector là một gói Python với Điểm tin cậy Nerq 66.0/100 (B-), dựa trên 3 chiều dữ liệu độc lập. Phân tích gần nhất: 2026-07-22 Bảo mật: 90/100. Độ phổ biến: 60/100. Dữ liệu từ PyPI registry, GitHub repository, NVD, OSV.dev, and OpenSSF Scorecard. Cập nhật lần cuối: 2026-07-22. Dữ liệu máy đọc được (JSON).

Pyboolector trên các nền tảng khác

Cùng nhà phát triển/công ty trong các registry khác:

Hướng dẫn bảo mật: Pyboolector

là gì Pyboolector?

Pyboolector là một gói Python — Python wrapper around the Boolector SMT solver.

Cách xác minh an toàn

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

Bạn cũng có thể kiểm tra điểm tin cậy qua API: GET /v1/preflight?target=pyboolector

Vấn đề bảo mật chính cho Python package

Khi đánh giá bất kỳ Python package, cần chú ý: dependency vulnerabilities, malicious uploads, bảo trì status.

Measured Signals

Pyboolector has a Nerq Trust Score of 66/100 (B-). This score is a composite of automated measurements of bảo mật, bảo trì, community, and quality signals.

Điểm chính

• 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: Điểm tin cậy Nerq là đánh giá tự động dựa trên tín hiệu công khai. Đây không phải khuyến nghị hay bảo đảm. Hãy luôn tự xác minh.