Results for “cooking-tutorial”

Guides the user through learning a new skill or concept within a workspace, using structured lessons, reference materials, and learning records.

Adaptive tutoring that diagnoses the learner's level, sets a small objective, teaches with examples, and gives practice with feedback.

Guides users through learning a new skill or concept within a dedicated teaching workspace, using structured lessons, reference materials, and learning records.

Adaptive tutoring that diagnoses the learner's level, sets a small objective, teaches with examples, and includes practice with feedback.

Look up and apply the cooked, indexed proof playbook built from proof-material. Use when the user is proving a theorem, planning a proof, seeking reusable proof moves by task shape, assumptions, tags, desired move, or material source ID, or adapting cooked local moves and macro strategies with public source attribution.

Generates and burns subtitles into videos: extracts audio, transcribes via Volcano Engine, corrects errors, reviews, and burns subtitles with ffmpeg.