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

score
91 (A)

mode
Full

last commit
f66d2a1802d9e04a57441160f411d46be63d785f

analyzed on
Thu, 30 Jul 2026 14:52:17 +0000

total evidence
3

commit signals (3)

AiGenerationPhrase
Tool: claude-codeCommit: d83bc7d7964bd99ea16f8888b7cb9143a1343846Authored: 6 months ago (Sun, 11 Jan 2026 02:19:56 +0000)Match: 🤖 Generated with [Claude Code](https://claude.com/claude-code)
AiGenerationPhrase
Tool: claude-codeCommit: d83bc7d7964bd99ea16f8888b7cb9143a1343846Authored: 6 months ago (Sun, 11 Jan 2026 02:19:56 +0000)Match: 🤖 Generated with [Claude Code](https://claude.com/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>