@dkcummingCurrent employee
- PRs merged
- 88
- Internal authors supported
- 9
- Currently active authors
- 4
- First merge
- Apr 27, 2023
- Last merge
- Jul 31, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
Back to Organizations
Runtime Verification
Runtime Verification builds developer tooling focused on web3 security, providing auditing services and formal verification. They go beyond standard code reviews by mathematically proving or disproving key properties of the code, eliminating entire classes of vulnerabilities missed by traditional audits.
Moab, US
Current stage: Seed17 current maintainers13 active leads4 new active leads6 lead step-downs6 early lead departures
Maintainer signals as of Aug 10, 2026
Maintainer Intelligence
This view starts from the canonical internal-employee model. A maintainer is an internal employee who merged at least one pull request in a non-fork repository; external contributors, bots, and PR authors are not treated as causal. Active leads have merged within the last three months.
17
Current maintainers
13
Active leads
4
New active leads
6
Lead step-downs
0
Lead movements
6
Early lead departures
Signals as of Aug 10, 2026github.com/runtimeverification
Maintainers (104)
Open GitHub profile ↗
@klausnatCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jan 12, 2026
- Last merge
- Jul 31, 2026
Active leadEarly maintainer
Open GitHub profile ↗@bbyalcinkayaCurrent employee
- PRs merged
- 20
- Internal authors supported
- 4
- Currently active authors
- 2
- First merge
- Nov 22, 2022
- Last merge
- Jul 30, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@RaoulSchaffranekCurrent employee
- PRs merged
- 5
- Internal authors supported
- 4
- Currently active authors
- 3
- First merge
- Apr 18, 2024
- Last merge
- Jul 27, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@silviabhCurrent employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Feb 18, 2025
- Last merge
- Jul 9, 2026
Active lead
Internal authors whose PRs they merged
@juliankunersCurrent employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- May 20, 2025
- Last merge
- Jul 7, 2026
Active lead
Internal authors whose PRs they merged
@ehildenbCurrent employee
- PRs merged
- 527
- Internal authors supported
- 46
- Currently active authors
- 9
- First merge
- Dec 8, 2016
- Last merge
- Jun 29, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@RobertorosmaninhoCurrent employee
- PRs merged
- 2
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Jul 9, 2024
- Last merge
- Jun 23, 2026
Active lead
Internal authors whose PRs they merged
@asavienkoCurrent employee
- PRs merged
- 2
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Jan 27, 2023
- Last merge
- Jun 18, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@StevengreCurrent employee
- PRs merged
- 16
- Internal authors supported
- 4
- Currently active authors
- 3
- First merge
- Aug 22, 2024
- Last merge
- Jun 17, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@tothtamas28Current employee
- PRs merged
- 78
- Internal authors supported
- 9
- Currently active authors
- 5
- First merge
- Jan 20, 2022
- Last merge
- Jun 4, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@mariaKtCurrent employee
- PRs merged
- 40
- Internal authors supported
- 3
- Currently active authors
- 2
- First merge
- Mar 31, 2021
- Last merge
- May 26, 2026
Active lead
Internal authors whose PRs they merged
@gtreptaCurrent employee
- PRs merged
- 13
- Internal authors supported
- 7
- Currently active authors
- 4
- First merge
- Aug 26, 2019
- Last merge
- May 15, 2026
Active lead
Internal authors whose PRs they merged
@lisandrasilvaCurrent employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Sep 7, 2022
- Last merge
- May 7, 2026
Early maintainer
Internal authors whose PRs they merged
@palinatolmachCurrent employee
- PRs merged
- 84
- Internal authors supported
- 17
- Currently active authors
- 8
- First merge
- Jul 4, 2023
- Last merge
- Feb 18, 2026
Early maintainer
Internal authors whose PRs they merged
@anvacaruCurrent employee
- PRs merged
- 70
- Internal authors supported
- 13
- Currently active authors
- 6
- First merge
- Mar 19, 2019
- Last merge
- Jan 21, 2026
Early maintainer
Internal authors whose PRs they merged
@rv-jenkinsCurrent employee
- PRs merged
- 4763
- Internal authors supported
- 67
- Currently active authors
- 13
- First merge
- Aug 30, 2019
- Last merge
- Dec 4, 2024
Early maintainer
Internal authors whose PRs they merged
@FWBlueWizardFormer employee
- PRs merged
- 28
- Internal authors supported
- 13
- Currently active authors
- 5
- First merge
- Jun 23, 2022
- Last merge
- Apr 9, 2026
Early maintainer
Internal authors whose PRs they merged
@JuanCoRoFormer employee
- PRs merged
- 3
- Internal authors supported
- 3
- Currently active authors
- 2
- First merge
- Sep 16, 2022
- Last merge
- Mar 26, 2026
Early maintainer
Internal authors whose PRs they merged
@jbertholdFormer employee
- PRs merged
- 86
- Internal authors supported
- 13
- Currently active authors
- 7
- First merge
- Aug 12, 2022
- Last merge
- Feb 4, 2026
Early maintainer
Internal authors whose PRs they merged
Maintainer Movements (12)
@mds1 moved lead merge authority to EVM Diff.
Confirmed Feb 11, 2026 · Observed
Last source merge Nov 29, 2024 · First destination merge Feb 11, 2026
@PetarMax moved lead merge authority to Nethermind.
Confirmed Apr 2, 2025 · Observed
Last source merge Jan 2, 2025 · First destination merge Mar 26, 2025
@geo2a moved lead merge authority to IOHK.
Confirmed Mar 6, 2025 · Observed · Early maintainer
Last source merge Oct 31, 2024 · First destination merge Mar 6, 2025
@mcalancea moved lead merge authority to Scroll.
Confirmed Nov 12, 2024 · Observed
Last source merge May 7, 2020 · First destination merge Nov 12, 2024
@andreiburdusa moved lead merge authority to Nethermind.
Confirmed Jul 19, 2024 · Observed
Last source merge Mar 10, 2021 · First destination merge Jul 19, 2024
@franfrandev moved lead merge authority to Avalanche.
Confirmed May 30, 2024 · Observed
Last source merge Aug 9, 2023 · First destination merge May 30, 2024
@yilongli moved lead merge authority to MegaETH.
Confirmed Oct 23, 2023 · Observed
Last source merge Mar 3, 2016 · First destination merge Oct 23, 2023
@ana-pantilie moved lead merge authority to IOHK.
Confirmed Oct 13, 2023 · Observed
Last source merge May 10, 2023 · First destination merge Oct 13, 2023
@emarzion moved lead merge authority to Formal Land.
Confirmed Feb 7, 2023 · Observed
Last source merge Mar 11, 2021 · First destination merge Feb 7, 2023
@SchmErik moved lead merge authority to RISC Zero.
Confirmed Nov 30, 2022 · Observed
Last source merge May 25, 2022 · First destination merge Nov 30, 2022
@eviefp moved lead merge authority to Prisma Finance.
Confirmed Oct 27, 2022 · Observed
Last source merge Oct 24, 2019 · First destination merge Oct 27, 2022
@MrChico moved lead merge authority to Centrifuge.
Confirmed Oct 8, 2020 · Observed
Last source merge Mar 26, 2020 · First destination merge Oct 8, 2020