https://github.com/idris-lang/Idris2

score
94 (A)

mode
Incremental

last commit
6ca00e72e32849cb35e5c262904e9c3cffc1a9a4

analyzed on
Sat, 13 Jun 2026 17:20:27 +0000

total evidence
2

commit signals (2)

AiGenerationPhrase
Tool: claude-codeCommit: d83bc7d7964bd99ea16f8888b7cb9143a1343846Authored: 5 months ago (Sun, 11 Jan 2026 02:19:56 +0000)Match: Generated with [Claude Code]
AiCoAuthor
Tool: claude-codeCommit: d83bc7d7964bd99ea16f8888b7cb9143a1343846Authored: 5 months ago (Sun, 11 Jan 2026 02:19:56 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>