The Agent Skills Directory

[NO_CODE]: The skill consists entirely of Markdown files (SKILL.md and references/translation_patterns.md) that provide instructions and code translation patterns. No executable scripts, binaries, or configuration files for package managers (such as package.json or requirements.txt) are included.
[SAFE]: The analysis did not reveal any malicious patterns, such as prompt injection, hardcoded credentials, or unauthorized network operations. The skill's content is consistent with its stated purpose of providing translation guidance and uses standard Lean4 I/O patterns for its examples.

c-cpp-to-lean4-translator