source-audit

Certified log-concavity of the Riemann-Jacobi kernel with Arb/FLINT ball-arithmetic certificates. Source-critical audit of the Polya-type real-zero criterion. No unconditional RH claim.

python certificate verification arbitrary-precision interval-arithmetic number-theory arb polya aee riemann-hypothesis lean4 mathematical-proof falsification spectral-theory epistemic-engineering source-audit log-concavity arb-flint ball-arithmetic

Updated Jun 4, 2026
Python

Alex2704go / bi2212-rixs-constrained-ecology-v0.29

Star

Bi2212 RIXS + DMRG constrained-ecology source-audited dossier v0.29

dmrg cuprate rixs source-audit bi2212 constrained-ecology

Updated Jul 17, 2026
Python

jbegarek / potato-review-skill

Star

Harsh evidence-first POTATO review skill for academic, source, document, code, and project audits

code-review codex ai-agents academic-writing document-review agent-skills claude-code skill-md source-audit potato-review

Updated Jun 8, 2026

aoli0919 / verification-trust-skills

Star

Skills for checking claims, auditing sources, detecting hallucinations, and labeling uncertainty.

verification ai-safety agent-skills source-audit hallucination-checker

Updated Jul 17, 2026
Python

wordstotech-design / how-to-use-perplexity-ai-like-a-pro

Star

How to use Perplexity Pro: the five settings behind every answer, the 2026 mode and model tables, plus a source audit script.

Updated Sep 2, 2026
Python

Add this topic to your repo

To associate your repository with the source-audit topic, visit your repo's landing page and select "manage topics."

Learn more