NPA
Live Metrics
Ecosystem Status Dashboard
Real-time verification coverage, theorem metrics, and axiom soundness report.
Overview Metrics
Total Packages
2
Total Modules
63
Trusted Modules
61
Total Declarations
1016
Audit Coverage Status
Trusted Success Rate
96.8%
Declaration Breakdown
- Theorems
- 750
- Definitions
- 210
- Inductive Types
- 18
- Axioms
- 38
Logical Soundness Report
NPA ensures mathematical logic is consistent. Whitelisted axioms represent standard logical rules (choice, propositional extensionality, etc.). Policy violations alert if custom unverified axioms are injected.
Excellent! No policy violations detected across any registered packages.