canarybyte / veridrop Star 21 Code Issues Pull requests 🔍中转站 · 中转站检测 · AI API中转站真伪检测· 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 10, 2026 Python
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