MuhDur/c-cpp-profi

c-cpp-profi은(는) 무엇을 하나요?

진지한 C/C++ 작업을 위한 에이전트 스킬: 모든 수준에서 저장소를 이해하고, 변환 및 강화하며, 기계 검증 가능한 증명을 제공합니다. 도메인에 구애받지 않고 플러그 앤 플레이 방식입니다.

설명

이 스킬은 C/C++ 코드베이스 작업을 위해 설계되었습니다. 저장소의 모든 측면(구문, 의미론, 아키텍처 수준)을 분석하고, 코드를 변환(예: 리팩토링, 취약점 수정, 성능 최적화)하며, 기계 검증 가능한 증명을 생성합니다.

주요 기능

• 심층 분석: 저장소의 전체 구조와 세부 구현을 이해합니다.
• 코드 변환: 안전하고 효율적인 방식으로 코드를 리팩토링하거나 최적화합니다.
• 강화: 취약점을 탐지하고 수정하며, 모범 사례를 적용합니다.
• 증명 생성: 변환된 코드가 올바름을 기계 검증 가능한 방식으로 증명합니다.

호환 플랫폼

• Claude Code
• Cursor
• Codex
• 기타 유사한 AI 에이전트 플랫폼

사용 방법

1. 스킬을 AI 에이전트에 로드합니다.
2. C/C++ 저장소를 에이전트에 제공합니다.
3. 원하는 작업(분석, 변환, 강화, 증명)을 요청합니다.
4. 스킬이 자동으로 작업을 수행하고 결과를 반환합니다.

예제

# 예제: 저장소 분석 요청
agent: c-cpp-profi analyze /path/to/repo

참고 사항

• 이 스킬은 도메인에 구애받지 않습니다.
• 기계 검증 가능한 증명은 정적 분석 또는 형식 검증 도구를 통해 생성됩니다.
• 추가 구성이 필요 없으며, 플러그 앤 플레이 방식으로 작동합니다.