A peptide discovery workbench that proves what its candidates are allowed to claim.
DiscoveryLab turns therapeutic hypotheses into receptor-aware peptide families, verifies pathway mechanisms with graph checks and Lean 4 audit artifacts, and ranks candidates through claim-bounded in-silico assessment before handing testable batches to wet-lab partners.
Sequences as discrete states; receptor binding as observable.
Substitutions, ncAAs, and macrocyclisation as designed perturbations.
Receptor → pathway → phenotype graphs constrain generation.
Mechanism claims are formally checked before wet-lab handoff.