github.com/rocq-prover/vsrocq (link)

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

validate manually before sharing.

score
100 (S)
mode
Full
last commit
155aa82f273705d79d1df210cc0c4495f23de266
analyzed on
Thu, 15 Oct 2026 18:15:46 +0000
total evidence
7
branch
main

commit signals (7)

Kind
Tool
Commit
Date
AiCoAuthorclaude-code6afe74046cce1 week agoCo-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
AiCoAuthorclaude-code2d240be808ba1 month agoCo-Authored-By: Claude Opus 5 <noreply@anthropic.com>
AiCoAuthorclaude-code7c554b80f39f1 month agoCo-authored-by: Claude Opus 5 <noreply@anthropic.com>
AiCoAuthorclaude-code1c9b70c597381 month agoCo-authored-by: Claude Opus 5 <noreply@anthropic.com>
AiCoAuthorclaude-code62091a3bde5f1 month agoCo-Authored-By: Claude Opus 5 <noreply@anthropic.com>
AiCoAuthorclaude-codea45168876ebd1 month agoCo-authored-by: Claude Opus 5 <noreply@anthropic.com>
AiCoAuthorclaude-codeb4677db3985b1 month agoCo-Authored-By: Claude Opus 5 <noreply@anthropic.com>

source signals (0)

none

ignorefile signals (0)

none