solvr-aeon-skill은(는) 무엇을 하나요?
Solvr를 위한 AEON 스킬 팩 — 실시간 온체인 정보에 기반한 AI 지원 형식 검증 작업 지시서. 비탈릭의 FV 에세이에서 영감을 받았습니다.
Solvr를 위한 AEON 스킬 팩 — 실시간 온체인 정보에 기반한 AI 지원 형식 검증 작업 지시서. 비탈릭의 FV 에세이에서 영감을 받았습니다.
이 스킬은 Solvr 플랫폼에서 AI 기반 형식 검증(Formal Verification, FV) 작업을 수행하기 위한 AEON 스킬 팩입니다. 비탈릭 부테린의 형식 검증에 관한 에세이에서 영감을 받았으며, 실시간 온체인 인텔리전스를 작업 지시서에 접목하여 더욱 정확하고 신뢰할 수 있는 검증 작업을 가능하게 합니다. 개발자와 AI 에이전트 사용자는 이 스킬을 통해 스마트 계약 및 블록체인 코드의 취약점을 자동으로 분석하고, 형식 검증 파이프라인을 설정하여 보안 감사 프로세스를 대폭 간소화할 수 있습니다. Solvr과 AEON의 통합으로 AI 에이전트가 복잡한 온체인 데이터를 실시간으로 참조하여 검증 조건을 생성하고, 증명을 자동화하며, 감사 결과를 명확하게 보고할 수 있습니다. 이는 EVM 기반 체인과 다양한 개발 환경에서 사용 가능하며, AI가 대규모 코드베이스의 수학적 정확성을 검증하는 데 혁신적인 접근 방식을 제공합니다.
npx skills add basedcryptoji/solvr-aeon-skillInstalled? Explore more 코딩 & 개발 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Solvr를 위한 AEON 스킬 팩 — 실시간 온체인 정보에 기반한 AI 지원 형식 검증 작업 지시서. 비탈릭의 FV 에세이에서 영감을 받았습니다.
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.