C/C++ to Lean4 Translator

by ArabelaTso

C/C++ to Lean4 Translator is an AI Engineering skill for Claude Code, published by ArabelaTso in Skills-4-SE.

247 stars23 forkson ArabelaTso/Skills-4-SEAdded 2026/09/02+4% in starsRepository updated 2026/08/21

View source on GitHub Download repo ZIP

claudeclaude-codeclaude-skillsmetaprogrammingsoftware-developmentsoftware-engineering

Install in seconds

Install C/C++ to Lean4 Translator

Copy C/C++ to Lean4 Translator into your Claude Code skills folder. Run the command in your terminal, or review the source on GitHub before installing.

terminal

npx degit https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/c-cpp-to-lean4-translator ~/.claude/skills/c-cpp-to-lean4-translator

Requires Node.js. Downloads this skill only — not the rest of the repository — into your Claude Code skills folder.

Without Node.js

git clone https://github.com/ArabelaTso/Skills-4-SE.git

Clones the whole repository, then copy the skill’s own directory into your skills folder yourself.

In this catalog

Source file: skills/c-cpp-to-lean4-translator/SKILL.md in ArabelaTso/Skills-4-SE
Installs to: ~/.claude/skills/c-cpp-to-lean4-translator
Collection: One of 25 skills cataloged from this repository
Category: AI Engineering — 2631 skills

What C/C++ to Lean4 Translator does

C/C++ to Lean4 Translator converts C or C++ programs into Lean4 code that preserves semantics and stays well typed and executable. Use it when porting imperative algorithms, structs, loops, or I/O to Lean4.

C/C++ to Lean4 Translator is cataloged under AI Engineering on DirSkills. C/C++ to Lean4 Translator comes from a repository tagged claude, claude-code, claude-skills, metaprogramming and software-development.

Documentation

README

Excerpt

Identify program components:
- Functions and their signatures
- Data structures (structs, classes, arrays)
- Control flow patterns (loops, conditionals)
- Memory management (allocation, pointers)
- I/O operations
- Dependencies and includes
Understand semantics:
- What does the program compute?
- What are the inputs and outputs?
- Are there side effects?
- What are the invariants and preconditions?

This is the opening of the README. Read the full README on GitHub.

Frequently asked about C/C++ to Lean4 Translator

What else does ArabelaTso publish alongside C/C++ to Lean4 Translator?
C/C++ to Lean4 Translator is one of 25 skills that DirSkills catalogs from ArabelaTso/Skills-4-SE, the repository it ships in. Its siblings there include ACSL Annotation Assistant, API Design Assistant and API Documentation Generator. Each one is a separate skill with its own page in this directory, installs the same way C/C++ to Lean4 Translator does, and is maintained by ArabelaTso in that same repository. The rest of the collection is listed on the ArabelaTso/Skills-4-SE page.
How does C/C++ to Lean4 Translator compare to other AI Engineering skills?
C/C++ to Lean4 Translator ranks #2333 by stars among the 2631 AI Engineering skills in this catalog. The most-starred ones next to it are Architecture Decision Records, AI-First Engineering and Agentic OS. DirSkills ranks by the star count of the repository each skill ships in, so that order reflects how popular those repositories are rather than any review of C/C++ to Lean4 Translator against them. Open each page to compare what they document and how they install.