github.com/LeanBitLab/LeanType (link)

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

validate manually before sharing.

score
0 (F)
mode
Full
last commit
8e231550491a6a98ebcafca98528cb26126f02b6
analyzed on
Tue, 13 Oct 2026 23:26:03 +0000
total evidence
25
branch
main

commit signals (6)

Kind
Tool
Commit
Date
AiGenerationPhraseclaude-codee15462d4b3182 weeks agoClaude-Session: https://claude.ai/code/session_01VuiaMhLXwhErf9shhrr1uD
AiGenerationPhraseclaude-code1cfc68c1f0762 weeks agoClaude-Session: https://claude.ai/code/session_01VuiaMhLXwhErf9shhrr1uD
AiCoAuthorgithub-copilot850a27c102353 weeks agoCo-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot55377f28b0201 month agoCo-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotec21ad0a2fc85 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot761a825a3de75 months agoAssisted-by: GitHub Copilot CLI

source signals (4)

ignorefile signals (15)

File
Tool
Match
.gitignoreopencode.opencode/
.gitignoreqwen.qwen/
.gitignoreqwenQWEN.md
.gitignoreagents-mdAGENTS.md
.gitignoregeminiGEMINI.md
.gitignoregemini.geminiignore
.gitignoregemini.gemini/
.gitignorecursor.cursor/
.gitignorecursor.cursorrules
.gitignorecline.cline/
.gitignorecontinue.dev.continue/
.gitignoreunspecifieddocs/superpowers/
.gitignoreunspecified.agents
.gitignorekilo-code.kilo/
.gitignorepi.pi/