https://github.com/ms-jpq/coq

score
94 (A)

mode
Full

last commit
2d4a7f67cf1e6a2fef95abb62534b5f9191f5cd1

analyzed on
Mon, 15 Jun 2026 00:58:27 +0000

total evidence
2

commit signals (2)

AiCoAuthor
Tool: claude-codeCommit: 0bf55b516961b14aa5070a253325dd5260f879cbAuthored: 2 weeks ago (Wed, 27 May 2026 21:56:46 +0000)Match: Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
AiCoAuthor
Tool: claude-codeCommit: 8bfa5199f758d382032b62cfbfc72414018d8b8aAuthored: 2 weeks ago (Wed, 27 May 2026 21:56:42 +0000)Match: Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>