SpecProof
Turn document-only API specifications into verified, cited contracts, and prove whether code keeps them. AI proposes; deterministic code decides. Applied to the UniFi Access API official documentation.
Endpoint sections extracted
108/108 (100.0%)
Items with a grounded citation
1406/1406 (100.0%)
Sections verified after the loop
115/116 (99.1%)