Scientific Ai Python Packages

vlabs-calibrate

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.

verifiable-labs-envs

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.

verifiable-labs

Python SDK + CLI for Verifiable Labs — evaluate frontier LLMs on conformal-calibrated scientific RL environments.

verifiable-labs-code-humaneval

Single-turn procedural code-execution RL environment with sandboxed pytest scoring and conformal coverage

verifiable-labs-code-humaneval-multiturn

Multi-turn procedural code-execution RL environment with test-feedback rollouts and conformal coverage