Personnel: Slava Matyukhin at QURI (Quantified Uncertainty Research Institute) (Lead Developer)

NoteThe source confirms the person (Slava Matyukhin) and organization (QURI) match the record. However, the source does not provide specific information about: (1) the role title 'Lead Developer', (2) the start date of 2022, or (3) the end date of 2025. The GitHub profile shows current affiliation with QURI and active contributions to QURI projects, but employment dates and specific job title cannot be verified from this source. The record is partially confirmed (person + org) but the temporal and role-specific details are unverifiable from this GitHub profile alone.