Use Codex with a Rocq test project and proof obligation to prepare a minimal proof repair and checker logs through the test workflow below, then review it. Matching tools and permissions are required.
Use Codex with tempo, instruments and section requirements to prepare editable track and MIDI drafts through the test workflow below, then review it. Matching tools and permissions are required.
Use Codex with fictional inventory and authorized recipes to prepare a testable recipe-filter prototype through the test workflow below, then review it. Matching tools and permissions are required.
Give a text AI paper abstracts, IDs and screening criteria to draft a deduplicated reading-candidate log for human review. This is a drafting exercise; the source used Codex.
Give a text AI a problem and your written solution steps to draft staged hints and equations to check for human review. This is a drafting exercise; the source used Codex.
Give a text AI a redacted transcript and ticket fields to draft a feature-ticket draft retaining open questions for human review. This is a drafting exercise; the source used Codex.
Give a text AI redacted configuration copies and allowed scope to draft a configuration-change and acceptance checklist for human review. This is a drafting exercise; the source used Codex.
Give a text AI an animation-state diagram and engine version to draft a transition, interruption and recovery test table for human review. This is a drafting exercise; the source used Codex.
Give a text AI synthetic version records and resource limits to draft a feature, regression and resource comparison table for human review. This is a drafting exercise; the source used Codex.
Give a text AI synthetic client notes and fictional quotes to draft an occupancy, room-count and recheck table for human review. This is a drafting exercise; the source used Codex.