@tfmsadhithCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Aug 7, 2026
- Last merge
- Aug 7, 2026
Active lead
Open GitHub profile ↗Back to Organizations
Formal Land
Formal Land provides formal-verification audits, ongoing verification, tooling, consulting, and training for Web3 engineering teams. It focuses on smart contracts, protocols, blockchain infrastructure, and cryptographic and zero-knowledge systems.
Distributed
5 current maintainers4 active leads3 new active leads
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.
5
Current maintainers
4
Active leads
3
New active leads
0
Lead step-downs
0
Lead movements
0
Early lead departures
Signals as of Aug 10, 2026github.com/formal-land
Maintainers (16)
@cascade77Current employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 15, 2026
- Last merge
- Aug 6, 2026
Active lead
Open GitHub profile ↗@clarusCurrent employee
- PRs merged
- 112
- Internal authors supported
- 14
- Currently active authors
- 3
- First merge
- May 8, 2015
- Last merge
- Aug 6, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@gaberlunzie1Current employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 30, 2026
- Last merge
- Jul 31, 2026
Active lead
Open GitHub profile ↗@olympichekCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jan 31, 2024
- Last merge
- Aug 13, 2024
@romefellerFormer employee
- PRs merged
- 2
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Feb 26, 2025
- Last merge
- Sep 17, 2025
Internal authors whose PRs they merged
@YunkaiZhang233Former employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Apr 15, 2025
- Last merge
- Sep 2, 2025
@InfiniteEchoesFormer employee
- PRs merged
- 5
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Apr 17, 2023
- Last merge
- Jun 12, 2025
Internal authors whose PRs they merged
@andreadlmFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jan 28, 2025
- Last merge
- Apr 24, 2025
Early maintainer
Open GitHub profile ↗@0xMushowFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Oct 16, 2024
- Last merge
- Jan 6, 2025
Internal authors whose PRs they merged
@dhilstFormer employee
- PRs merged
- 5
- Internal authors supported
- 3
- Currently active authors
- 1
- First merge
- Jul 26, 2023
- Last merge
- Aug 30, 2023
Internal authors whose PRs they merged
@bartlomiejkrolikowskiFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jul 31, 2023
- Last merge
- Aug 29, 2023
@klausnatFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Apr 25, 2023
- Last merge
- Jul 12, 2023
Internal authors whose PRs they merged
@dphovFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Feb 9, 2023
- Last merge
- Feb 16, 2023
Internal authors whose PRs they merged
@emarzionFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Feb 7, 2023
- Last merge
- Feb 9, 2023
@pierrevialFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Feb 2, 2023
- Last merge
- Feb 2, 2023
Maintainer Movements (1)
@klausnat moved lead merge authority to Runtime Verification.
Confirmed Jan 12, 2026 · Observed
Last source merge Jul 12, 2023 · First destination merge Jan 12, 2026