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/ProofGeneral/PG (link)

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

validate manually before sharing.

score
100 (S)
mode
Full
last commit
38e3f59d4b650fbfb9649c84f24adbc9056ffa30
analyzed on
Thu, 20 Aug 2026 19:17:51 +0000
total evidence
0

commit signals (0)

none

source signals (0)

none

ignorefile signals (0)

none