Is Touchstone Prover Safe?

Touchstone Prover — Nerq Trust Score 71.0/100 (B grade). Based on analysis of 2 trust dimensions, it is generally safe but has some concerns. Last updated: 2026-07-30.

Yes, Touchstone Prover is safe to use. Touchstone Prover is a Python package with a Nerq Trust Score of 71.0/100 (B), based on 3 independent data dimensions. Recommended for production use. Security: 90/100. Popularity: 60/100. Data sourced from PyPI registry, GitHub repository, NVD, OSV.dev, and OpenSSF Scorecard. Last updated: 2026-07-22. Machine-readable data (JSON).

Safety Guide: Touchstone Prover

What is Touchstone Prover?

Touchstone Prover is a Python package — An SMT-based verifier for Python with a machine-checked trust base..

How to Verify Safety

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

You can also check the trust score via API: GET /v1/preflight?target=touchstone-prover

Key Safety Concerns for Python package

When evaluating any Python package, watch for: dependency vulnerabilities, malicious uploads, maintenance status.

Trust Assessment

Touchstone Prover has a Nerq Trust Score of 71/100 (B) and meets Nerq trust threshold. This score is based on automated analysis of security, maintenance, community, and quality signals.

Key Takeaways

• Touchstone Prover has a Trust Score of 71/100 (B).
• Recommended for use — passes trust threshold.
• Always verify independently using the Nerq API.

Disclaimer: Nerq trust scores are automated assessments based on publicly available signals. They are not endorsements or guarantees. Always conduct your own due diligence.