checklist.day

MIRAI Annotations

JSON →
library 1.12.0 ·rust
✓ verified Jun 16, 2026
other

Macros that provide source code annotations for the MIRAI static analyzer.

Resources

docsdocs.rs/mirai-annotations/ ↗
githubgithub.com/facebookexperimental/MIRAI ↗

API endpoints

full doc /v1/registry/mirai-annotations
install /v1/registry/mirai-annotations/install