Pulse
2026-09-18-v3.0
Dataset
2026-10-27-catalog-ai-v2
Ruleset
b2e8889c66f7
Scanned
2026-10-27
Window
February–September 15, 2026
Catalog tracking observation. This repository is measured with the same fixed window and ruleset, but it is not part of the published benchmark or its aggregate claims.

A Coq library for Homotopy Type Theory

01Result

HoTT/Coq-HoTT ↗

HoTT/Coq-HoTT AI coding statistics: 14.5%

of 193 commits in February–September 15, 2026 were committed by an AI agent — a floor, not an estimate
14.5% agent · top contributor 50%4 contributors
team

A small group is using agents. Adoption has spread beyond one person but is not project-wide.

28
agent commits
165
other considered commits
4
agent contributors
50%
largest contributor

02Drivers

What shapes this result

Mode, timing, and detected signatures show whether the result reflects broad adoption or one concentrated workflow.

Assisted or autonomous

19assisted
9autonomous

Assisted — a developer’s identity authored the commit and the agent added itself as co-author. Autonomous — a bot identity authored the commit without a human identity attached.

Agent share by month

Agent-attributed commit share by month
MonthAgent shareConsidered commits
2026-020%11
2026-030%6
2026-040%31
2026-058.3%12
2026-060%9
2026-0716.4%67
2026-0826.3%38
2026-0931.6%19

Peak month: 31.6%. Bars are scaled to that peak, not to 100%.

Which agents

AgentVendorCommitsShare
Claude CodeAnthropic157.8%
GitHub CopilotGitHub136.7%

03Evidence

Inspect the matches

Public commit samples let you inspect the signatures behind the aggregate result.

Matched commit samples

04Method

What entered the denominator

The result begins with commit history, removes merges and routine automation, and reports literal agent signatures as a lower bound.

Exclusion ledger

Commits in window241
Merge commits removed−48
CI / dependency bots removed−0
Considered193

Bots are excluded from the denominator entirely. Agent attribution requires a literal supported signature; no code-style inference is used.

Continue exploring

Claude Code commitsBrowse repositories with detected Claude Code signatures →GitHub Copilot commitsBrowse repositories with detected GitHub Copilot signatures →GitHub AI commit analyzerInspect another repository with the same evidence model →
Reproduce this observation

Run the same detector locally.

Deterministic signature matching; no code-style inference. Squash merges can remove trailers, so this result remains a measured floor.

npx qmmit-cli HoTT/Coq-HoTT

Scan another repository

Try