Extract formal models from API specs and verify with Alloy
-
Updated
Apr 17, 2026 - Rust
Extract formal models from API specs and verify with Alloy
🔍 AI API relay/proxy authenticity detector · Verify Claude / GPT / Gemini relay真伪 · thinking signature crypto + needle-in-haystack long-context probe · 中转站真伪检测 · self-hostable · AGPL-3.0
Add a description, image, and links to the api-verification topic page so that developers can more easily learn about it.
To associate your repository with the api-verification topic, visit your repo's landing page and select "manage topics."