verifiablelabs / vlabs-sdk Star 0 Code Issues Pull requests Public SDK and CLI for clean promotion gates, typed assurance cards, provider interfaces, and formal-spec mirrors. python cli sdk evaluation formal-methods ai-agents promotion-gate contamination-resistant assurance-cards Updated Jul 11, 2026 Python
verifiablelabs / vlabs-formal Star 0 Code Issues Pull requests Lean 4 proofs and property-tested formal-spec mirrors for selected promotion-gate properties. formal-methods formal-verification property-testing lean4 promotion-gate contamination-resistant Updated Jul 11, 2026 Python
verifiablelabs / vlabs-docs Star 0 Code Issues Pull requests Public documentation for Verifiable Labs architecture, evidence, SDK, and operating model. documentation evaluation ai-agents promotion-gate contamination-resistant Updated Jul 11, 2026 Python