All

10 repositories

vlabs-formal
Public
Lean 4 proofs and property-tested formal-spec mirrors for selected promotion-gate properties.
formal-methods formal-verification property-testing
formal-methods formal-verification property-testing lean4 promotion-gate contamination-resistant
Python
•
Apache License 2.0
•1•1•0•3•Updated Aug 14, 2026Aug 14, 2026
vlabs-examples
Public
Runnable synthetic examples for Verifiable Labs clean-gate workflows.
examples evaluation ai-agents
examples evaluation ai-agents synthetic-data promotion-gate
Python
•
Apache License 2.0
•0•0•0•2•Updated Jul 24, 2026Jul 24, 2026
vlabs-demo
Public
Catch a reward-hacker in your terminal — judge-free, 0 model calls, $0. npx github:verifiablelabs/vlabs-demo
JavaScript
•
Apache License 2.0
•0•0•0•2•Updated Jul 24, 2026Jul 24, 2026
vlabs-integrity
Public
How gameable is your reward? Judge-free, deterministic, $0 gameability audit for RL/RFT coding rewards & verifiers (Prime Intellect-ready).
Python
•
Other
•0•0•0•3•Updated Jul 24, 2026Jul 24, 2026
vlabs-sdk
Public
Public SDK and CLI for clean promotion gates, typed assurance cards, provider interfaces, and formal-spec mirrors.
python cli sdk
python cli sdk evaluation formal-methods ai-agents promotion-gate contamination-resistant assurance-cards
Python
•
Apache License 2.0
•0•0•0•2•Updated Jul 24, 2026Jul 24, 2026
vlabs-docs
Public
Public documentation for Verifiable Labs architecture, evidence, SDK, and operating model.
documentation evaluation ai-agents
documentation evaluation ai-agents promotion-gate contamination-resistant
Python
•
Apache License 2.0
•0•0•0•2•Updated Jul 24, 2026Jul 24, 2026
vlabs-evidence
Public
Synthetic/redacted evidence artifacts, assurance cards, and public reproducibility notes.
evaluation reproducibility synthetic-data
evaluation reproducibility synthetic-data promotion-gate assurance-cards redacted-evidence
Python
•
Apache License 2.0
•0•0•0•2•Updated Jul 24, 2026Jul 24, 2026
vlabs-status
Public
Automated Statuspage monitoring for Verifiable Labs
0•0•0•1•Updated Jul 10, 2026Jul 10, 2026
.github
Public
Verifiable Labs organization profile
0•0•0•0•Updated Jun 13, 2026Jun 13, 2026
verifiable-labs-envs
Public archive
Open-source SDK (Apache-2.0): RL environments, conformal calibration, a TRL-compatible reward function, the Lean 4 formal track, and the verifiable/vlabs CLI.
python benchmark machine-learning
python benchmark machine-learning reinforcement-learning medical-imaging inverse-problems ai-agents conformal-prediction rl-environments scientific-machine-learning
Python
•
Apache License 2.0
•0•0•0•0•Updated Jun 12, 2026Jun 12, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

All

All

Repositories list

10 repositories