Auto PR: Scheduled addition of new proofs #43

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed

semmet95 wants to merge 1 commit into main from proof-auto-add-26304567210

Closed

Auto PR: Scheduled addition of new proofs #43

chore(proofs): adds new proofs for the ingested claims

cubic-dev-ai / cubic · AI code reviewer completed May 22, 2026 in 2m 53s

AI review cancelled

The AI review process was cancelled.

View more details on cubic-dev-ai