Lean 4 proofs and property-tested formal-spec mirrors for selected promotion-gate properties.
-
Updated
Aug 28, 2026 - Python
#
contamination-resistant
Here are 4 public repositories matching this topic...
Public documentation for Verifiable Labs architecture, evidence, SDK, and operating model.
-
Updated
Jul 24, 2026 - Python
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
Aug 14, 2026 - Python
RAMR — Retrieval-Augmented Memory Reliability: a contamination-resistant synthetic benchmark for agentic-RAG / memory systems (findings + method)
benchmark retrieval evaluation dataset benchmarks reproducibility synthetic-data rag llm retrieval-augmented-generation llm-evaluation agentic-rag agent-memory contamination-resistant memory-reliability memaudit chain-fragility fake-risk
-
Updated
Sep 8, 2026 - Python
Add this topic to your repo
To associate your repository with the contamination-resistant topic, visit your repo's landing page and select "manage topics."