model-checking/kani
What happens to a stranger's pull request here, in the Porchlamp snapshot of 17 October 2026.
Outside pull requests to model-checking/kani got a first human reply in a median of 16.2 hours (113 pull requests, 20 April to 17 October 2026); 11% got none within 14 days. It ranks 888 of 3,219 overall. It is not ranked for first-time contributors: not enough evidence to show under this lens.
| Rank | 888 of 3,219 |
|---|---|
| Score | 56.24 |
| Tier | B |
| Median first reply | 16.2 hours |
| 14-day no-reply share | 11% |
| First-timer rank | Not enough evidence to show under this lens. |
| Ecosystem | Rust |
| Window | 20 April to 17 October 2026 |
Composite
- Rank
- 888 of 3,219
- Score
- 56.24
- Tier
- B
- Coverage
- 89% · Ceiling A
- Quadrant
- Sweet Spot
Coordinates: leverage 50.3 (coverage 100%), friction 37.4 (coverage 78%)
Five pillars
| Pillar | Score | Coverage |
|---|---|---|
| Responsiveness | 76.4 | 55% |
| Criticality | 33.3 | 100% |
| Governance | 50.5 | 100% |
| Rigor | 78.5 | 100% |
| Accessibility | 46.3 | 100% |
The measured parameters
Responsiveness
| Parameter | Value | Score | Count | Window | Source |
|---|---|---|---|---|---|
| Decision Rate (90d)Share of outside pull requests that were merged or closed within 90 days. | Not shown: Insufficient sample size | ||||
| PR Ghost Rate (14d)Share of outside pull requests with no maintainer response, merge or close within 14 days. | 11.4% | 77.3 | 44 | 20 April to 17 October 2026 | primaryraw/pr_window/model-checking__kani.json |
| First-timer Merge RateShare of first-time outside authors' decided pull requests that were merged. | Not shown: Insufficient sample size | ||||
| Time to First ResponseMedian hours from an outside pull request opening to its first substantive human reply. | 16.2 hours (0.7 days) | 89.2 | 113 | 20 April to 17 October 2026 | primaryraw/pr_window/model-checking__kani.json |
| Time to Merge (p90)Hours within which 90% of merged outside pull requests were merged. | 399.8 hours (16.7 days) | 37.0 | 93 | 20 April to 17 October 2026 | primaryraw/pr_window/model-checking__kani.json |
Criticality
| Parameter | Value | Score | Count | Window | Source |
|---|---|---|---|---|---|
| DependentsPackages in the registry that depend on this project, counted once each. | 0 | 16.5 | — | — | primaryraw/dependents/model-checking__kani.json |
| Monthly DownloadsDownloads from the package registry in a month. | 92,776 downloads a month | 55.1 | — | — | primaryraw/downloads/crates__kani.json |
| OpenSSF CriticalityOpenSSF criticality score from 0 to 1, computed from the project's public activity signals. | 0.3681 | 36.8 | — | — | primaryraw/github_meta/model-checking__kani.json |
Governance
| Parameter | Value | Score | Count | Window | Source |
|---|---|---|---|---|---|
| Elephant FactorThe fewest organisations that account for half of the last year's commits. | 1 | 25.0 | 210 | — | primaryraw/commits_365d/model-checking__kani.json |
| Legal IP RegimeThe contributor licence regime: DCO, none, a foundation CLA or a corporate CLA. | No CLA or sign-off found | 85.0 | — | — | primaryraw/governance/model-checking__kani.json |
| Promotion LadderHow openly a contributor can become a maintainer, from closed to verified. | No written path to becoming a maintainer | 40.0 | — | — | primaryraw/governance/model-checking__kani.json |
Rigor
| Parameter | Value | Score | Count | Window | Source |
|---|---|---|---|---|---|
| AI Policy PostureWhether the project has a written policy on AI-assisted contributions. | Written AI policy | 95.0 | — | — | primaryraw/governance/model-checking__kani.json |
| Pipeline DefensesHow well the project's build and review pipeline defends against bad changes, 0 to 100. | 92 | 92.0 | 209 | — | proxy:review_ciraw/pr_window/model-checking__kani.json |
| Substantive Review RateShare of decided pull requests that received a substantive review. | 35.1% | 43.9 | 114 | 20 April to 17 October 2026 | primaryraw/pr_window/model-checking__kani.json |
Accessibility
| Parameter | Value | Score | Count | Window | Source |
|---|---|---|---|---|---|
| Developer ExperienceDeveloper experience, 0 to 100: half CI run time, half setup signals. | 35 | 35.0 | 5 | — | primaryraw/actions_runs/model-checking__kani.json |
| Newcomer ConversionShare of first-time authors whose first pull request merged within 180 days. | 57.1% | 100.0 | 7 | — | primaryraw/author_history/model-checking__kani.json |
| Newcomer Issue SupplyOpen, unassigned, up-to-date issues marked for newcomers. | 0 | 0.0 | — | — | primaryraw/gfi/model-checking__kani.json |
| Newcomer Return RateShare of those merged first-time authors who sent a second pull request within 90 days. | 20.0% | 40.0 | 5 | — | primaryraw/author_history/model-checking__kani.json |
Persona view
| Persona | Rank | Score | Tier | Status |
|---|---|---|---|---|
| Balanced | 888 of 3,219 | 56.24 | B | Rated |
| First-timer | Not enough evidence to show under this lens. | |||
| Career capital | This repository's production-criticality signal is not yet high enough for career-capital ranking. | |||
| Senior systems | Fewer than 3 organizations account for most commits (not multi-vendor). | |||
| AI-assisted | 493 of 3,696 | 61.61 | B | Rated |
Integrity
- Snapshot
- 2026-10-17
- Raw hash
- 614249a658072c8932e8305b7ccf175165e4c5ec2325e610961f4823bef924e2
No suspicion flags on this repository.
The full record is in data/2026-10-17/repos/2a.json, under the key model-checking/kani.
How every number is measured: Porchlamp methodology.
Open an issue about this record and say what looks wrong.
Porchlamp (2026). model-checking/kani. Snapshot 2026-10-17. https://porchlamp.org/projects/model-checking/kani/. CC BY 4.0.
Similar projects
The ranked projects nearest this one in the same ecosystem.
- modelcontextprotocol/rust-sdk (rank 872)
- gyscos/cursive (rank 878)
- memvid/memvid (rank 886)
- tw93/Pake (rank 887)
- ironcalc/IronCalc (rank 895)