The AI detection definitions or scanner version have been updated! Re-scan this repository for more accurate results.

github.com/idris-lang/Idris2/

score
94 (A)

mode
Full

last commit
0fb7253b8cd89627d5d4456d0d0994a8d226b849

analyzed on
Sun, 12 Jul 2026 10:19:48 +0000

total evidence
2

commit signals (2)

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

none

none