Move Prover 정형 검증 전문가 - 스펙 언어 (MSL), 전제 조건, 사후 조건, 불변량, aborts_if, ensures, requires, modifies, emits, 전역 불변량, 스키마 패턴, 양화자, 헬퍼 함수, 프라그마 지시문, 검증 전략, 그리고 증명 디버깅. 키워드 move prover, formal verification, spec, invariant, ensures, requires, aborts_if, precondition, postcondition, quantifier, schema, pragma에 반응합니다.
복잡한 설정 없이 워크플로우에 빠르게 통합
활발한 오픈소스 커뮤니티의 지속적인 업데이트
MIT/Apache 라이선스로 상업적 및 개인적 사용 가능
필요에 따라 사용자 정의 및 확장 가능
소스 리포지토리에서 스킬 파일 다운로드 또는 복사
스킬 파일을 Claude의 스킬 디렉토리에 배치 (일반적으로 ~/.claude/skills/）。
Claude를 재시작하거나 리로드 명령을 실행하여 스킬 로드
팁: 처음 사용하기 전에 스킬의 문서와 코드를 주의 깊게 읽고 기능과 권한 요구사항을 이해하세요
모든 스킬은 오픈소스 커뮤니티에서 제공되며 원 작성자의 저작권을 보존합니다
raintree-technology__claude-starter/.claude/skills/aptos/move-prover/Skill.md검증된 이점과 측정 가능한 영향
자동 서식 지정을 통해 몇 시간이 아닌 몇 분 만에 복잡한 스프레드시트를 생성하세요.
AI 기반 검증 및 자동 재계산으로 수식 실수를 방지하세요
수동 처리 없이 원시 데이터에서 즉시 인사이트 및 시각화 생성
다음 시나리오에 적합
자동 수식과 전문 서식을 사용하여 복잡한 재무 모델 생성
영업 데이터를 분석하고 피벗 테이블과 차트로 대화형 대시보드를 생성합니다
자동 재고 계산 및 알림 기능이 있는 실시간 재고 명세서 유지 관리
일관된 레이아웃과 공식을 갖춘 서식 보고서로 원시 데이터를 변환합니다