c-cpp-to-lean4-translator
Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully. Use when the user asks to convert C/C++ code to Lean4, port C/C++ programs to Lean4, translate imperative code to functional Lean4, or create Lean4 versions of C/C++ algorithms.
88
1.06x
Quality
86%
Does it follow best practices?
Impact
87%
1.06xAverage score across 3 eval scenarios
Securityby
Passed
No known issues
No security issues found
Scanned
- Repository
- ArabelaTso/Skills-4-SE
- Commit
0f00a4f
- Audited
- Security analysis
Is this your skill?
If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.