https://coretexa.dev/ 2026-07-27 weekly 1.0 https://coretexa.dev/proof.html 2026-07-25 daily 0.9 https://coretexa.dev/blog.html 2026-07-25 weekly 0.7 https://coretexa.dev/blog/we-refuted-an-ai-pull-request.html 2026-07-25 monthly 0.6 https://coretexa.dev/blog/the-bug-my-ai-reviewer-missed.html 2026-07-22 monthly 0.6 https://coretexa.dev/blog/we-verify-our-own-bug-fixes.html 2026-07-20 monthly 0.6