Skip to content

Instantly share code, notes, and snippets.

View cozuya's full-sized avatar
😑
Harvesting proofs

Chris Ozols cozuya

😑
Harvesting proofs
View GitHub Profile
@cozuya
cozuya / projection-body-cold-test.md
Created October 14, 2026 20:55
Projection-body conjecture — one-shot AI test prompt

Make your strongest attempt to resolve the following self-contained mathematical problem in this response.

Do not browse the web, retrieve external sources, search previous conversations or connected files, or consult other AI agents. In particular, do not search for the problem’s name, publication history, or known status. You may use built-in code execution, if available, for your own calculations and experiments, without network access.

If you already recognize the exact problem or recall a solution, briefly disclose what you recognize before proceeding. Still supply the mathematical argument rather than merely citing a remembered result.

Definitions

Let d ≥ 2 be an integer. A convex body K in R^d is a compact convex set with nonempty interior. Write vol_j for j-dimensional Euclidean volume.

@cozuya
cozuya / 00-README.md
Created October 1, 2026 01:11
reviewed-batches for Claude Code 1.0.2-claude.1 — complete skill, agent installation instructions, and verified installer

reviewed-batches for Claude Code

Version 1.0.2-claude.1. A complete, installable skill for implementing a scoped software task in sequential batches with CRBuddy review, bounded repairs, durable progress records, and final review and validation. The primary agent owns implementation and decisions; your existing CRBuddy panel supplies the independent reviews. Local checkpoint commits happen only when authorized.

Give this to Claude Code

@cozuya
cozuya / 00-README.md
Created October 1, 2026 01:11
reviewed-batches for Codex 1.0.3 — complete skill, agent installation instructions, and verified installer

reviewed-batches for Codex

Version 1.0.3. A complete, installable skill for implementing a scoped software task in sequential batches with CRBuddy review, bounded repairs, durable progress records, and final review and validation. The primary agent owns implementation and decisions; your existing CRBuddy panel supplies the independent reviews. Local checkpoint commits happen only when authorized.

Give this to Codex

@cozuya
cozuya / gist:3a856c8cce2d1898eb0aa738125a1809
Last active September 25, 2026 21:00
CRBuddy example stop hook
CRBuddy Stop review is armed.
Run `crbuddy go` from this repository/worktree and wait for it to finish.
While it runs, stay quiet unless something materially changes, such as a reviewer or CRBuddy failure, timeout, unexpected exit, or a prompt that requires my input.
When the review finishes, read the entire report, including both stdout and stderr. If CRBuddy failed, report the actual failure instead of treating the review as successful.
First, give me one summary line for the full review suite. Separate reviews with `|` and include:
- model used
@cozuya
cozuya / LICENSE
Last active August 20, 2026 03:36
Tampermonkey script - give your copy and pasteable fenced code/text blocks a collapsible/expandable button for Claude and ChatGPT (web)
MIT License
Copyright (c) 2026 Coz
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
@cozuya
cozuya / gist:44c9ebcd5be2ef61461c8e29acafd478
Created March 12, 2026 01:01
Claude code usage page tampermonkey script to show more details/do some math
// ==UserScript==
// @name Claude Usage Budget Helper
// @namespace http://tampermonkey.net/
// @version 2026-03-12
// @description Adds weekly usage pace, history, and a compact summary to the Claude usage page.
// @author You
// @match https://claude.ai/settings/usage*
// @icon https://www.google.com/s2/favicons?sz=64&domain=claude.ai
// @grant none
// @run-at document-idle