Is Logician Safe?

Logician — Nerq Trust Score 50.5/100 (C- grade). Score based on 2 independent trust signals. Last analyzed: 2026-03-25

Logician is a Rust crate with a Nerq Trust Score of 50.5/100 (C-), based on 3 independent data dimensions. Last analyzed: 2026-03-25 Security: 90/100. Popularity: 15/100. Data sourced from crates.io registry, GitHub, NVD, and RustSec advisory database. Last updated: 2026-03-25. Machine-readable data (JSON).

Logician Across Platforms

Same developer/company in other registries:

Safety Guide: Logician

What is Logician?

Logician is a Rust crate — Type-safe SMT solver driver with fluent Term API, multi-solver fallback, and process watchdog.

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=logician

Key Safety Concerns for Rust crate

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

Measured Signals

Logician has a Nerq Trust Score of 50/100 (C-). This score is a composite of automated measurements of security, maintenance, community, and quality signals.

Key Takeaways

• Logician has a Trust Score of 50/100 (C-).
• 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.