c-cpp-to-lean4-translator

Run `npx skills use "https://github.com/arabelatso/skills-4-se" --skill "arabelatso/skills-4-se/c-cpp-to-lean4-translator"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.

Use the skills in "https://github.com/arabelatso/skills-4-se" that are relevant to the current task. Run `npx skills add "https://github.com/arabelatso/skills-4-se"` and select the relevant skills, then follow their instructions.