The results on this page are outdated.

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

github.com/LeanBitLab/LeanType/ (link)

the signals and their derived score are provisional and subject to change.

validate manually before sharing.

score
28 (E-)

mode
Full

last commit
0101ec100bede08bd5d6f8e3ec3e06b5db665f22

analyzed on
Thu, 27 Aug 2026 14:34:57 +0000

total evidence
24

commit signals (3)

AiCoAuthor
Tool: github-copilotCommit: ec21ad0a2fc8c8620c8d36a987ea4de87c20d8d9Authored: 3 months ago (Mon, 18 May 2026 04:54:27 +0000)Match: Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiToolTrailer
Tool: (unspecified)Commit: 761a825a3de77a27a012ea3506ec3ff5e85e02b1Authored: 3 months ago (Mon, 18 May 2026 04:49:36 +0000)Match: Assisted-by: GitHub Copilot CLI
AiCoAuthor
Tool: github-copilotCommit: 761a825a3de77a27a012ea3506ec3ff5e85e02b1Authored: 3 months ago (Mon, 18 May 2026 04:49:36 +0000)Match: Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

source signals (0)

none

ignorefile signals (21)

.opencode/File: .gitignoreTool: opencode
.aider*File: .gitignoreTool: aider
.aider*File: .gitignoreTool: aider
.aider*File: .gitignoreTool: aider
.aider*File: .gitignoreTool: aider
.aider*File: .gitignoreTool: aider
.aider*File: .gitignoreTool: aider
.qwen/File: .gitignoreTool: qwen
QWEN.mdFile: .gitignoreTool: qwen
**/QWEN.mdFile: .gitignoreTool: qwen
AGENTS.mdFile: .gitignoreTool: agents-md
**/AGENTS.mdFile: .gitignoreTool: agents-md
GEMINI.mdFile: .gitignoreTool: gemini
.geminiignoreFile: .gitignoreTool: gemini
.gemini/File: .gitignoreTool: gemini
.cursor/File: .gitignoreTool: cursor
.cursorrulesFile: .gitignoreTool: cursor
.cline/File: .gitignoreTool: cline
.continue/File: .gitignoreTool: continue.dev
.agentsFile: .gitignoreTool: unspecified
.kilo/File: .gitignoreTool: kilo-code