OpenRouter API - 하나의 API를 통해 400개 이상의 AI 모델에 대한 통합 접근
복잡한 설정 없이 워크플로우에 빠르게 통합
활발한 오픈소스 커뮤니티의 지속적인 업데이트
MIT/Apache 라이선스로 상업적 및 개인적 사용 가능
필요에 따라 사용자 정의 및 확장 가능
소스 리포지토리에서 스킬 파일 다운로드 또는 복사
스킬 파일을 Claude의 스킬 디렉토리에 배치 (일반적으로 ~/.claude/skills/）。
Claude를 재시작하거나 리로드 명령을 실행하여 스킬 로드
팁: 처음 사용하기 전에 스킬의 문서와 코드를 주의 깊게 읽고 기능과 권한 요구사항을 이해하세요
모든 스킬은 오픈소스 커뮤니티에서 제공되며 원 작성자의 저작권을 보존합니다
rawveg__skillsforge-marketplace/openrouter/skill.md검증된 이점과 측정 가능한 영향
형식적 검증을 자동화하여 수동 감사에 소요되는 시간을 줄이세요.
Move Prover의 엄격한 증명 검사로 심각한 버그를 조기에 발견하세요.
재사용 가능한 스키마 패턴과 헬퍼 함수로 개발을 가속화하세요.
다음 시나리오에 적합
Move 기반 스마트 계약의 정확성을 검증하고 취약점을 방지합니다.
Move Prover 디버깅 기술을 사용하여 증명 오류를 식별하고 수정합니다.
불변 조건(invariant), 전제 조건(precondition), 결과 조건(postcondition)을 사용하여 정확한 명세를 작성합니다.
pragma 지시어와 한정자를 활용하여 검증 성능을 개선합니다.