hyperpolymath / alloyiser Sponsor Star 1 Code Issues Pull requests Extract formal models from API specs and verify with Alloy zig model-checking formal-methods alloy sat-solver palimpsest idris2 hyperpolymath iser api-verification Updated Apr 17, 2026 Rust
canarybyte / veridrop Star 0 Code Issues Pull requests 🔍 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 python gemini openai developer-tools claude api-security fastapi openai-api self-hostable ai-tools needle-in-haystack long-context proxy-detector anthropic claude-api api-relay api-verification relay-detector thinking-signature Updated May 5, 2026 Python