Documentation
Grimoire One docs
Guides for formally-verified FDA 21 CFR and EU AI Act compliance — prove adherence, don't just claim it.
01
Platform overview
How AI analysis and formal verification fit together.
02
Quickstart
Run your first validation or warning-letter analysis.
03
Prolog validation
How CFR requirements become provable Prolog rules.
04
Letter comparison
Compare two FDA warning letters side by side.
05
Similar violations
Find related letters by shared CFR citations.
06
AI best practices
Get reliable answers from the CFR consultation AI.
07
EU AI Act module
Classify, screen, document and audit AI systems.