Citeproof：用本地证据核查 Python bug 报告的原型

Citeproof 通过两个独立的 Muse Glimmer 调查，使用只读仓库工具核查 Python bug 报告，并以确定性检查器验证引用的文件、行号、引文和符号。