Is Type Proof Safe?

Type Proof — Nerq Trust Score 39.0/100 (F grade). Score based on 5 independent trust signals.

Type Proof is a Rust crate with a Nerq Trust Score of 39.0/100 (F). Data sourced from crates.io registry, GitHub, NVD, and RustSec advisory database. Last updated: n/a. Machine-readable data (JSON).

Safety Guide: Type Proof

What is Type Proof?

Type Proof is a Rust crate — A crate for type-checked propositional logic proofs.

How to Verify Safety

Run cargo audit. Review on crates.io for activity.

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

Key Safety Concerns for Rust crate

When evaluating any Rust crate, watch for: dependency vulnerabilities, unsafe code, maintenance status.

Measured Signals

Type Proof has a Nerq Trust Score of 39/100 (F). This score is a composite of automated measurements of security, maintenance, community, and quality signals.

Key Takeaways

• Type Proof has a Trust Score of 39/100 (F).
• 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: Nerq trust scores are automated measurements based on publicly available signals. They are not endorsements, verdicts, or guarantees of suitability. Always evaluate the signals against your own requirements.