Claude Skills
D 58 completedPipeline State
completedPipeline Metadata
AI Prompt
Catalog Information
RaccoonLabs Claude Skills is a collection of Code skills focused on Web3 and smart contract formal verification, enabling users to formally verify EVM smart contracts using Certora Verification Language (CVL) and Certora Prover.
Description
This project provides a set of pre-built skills for the Claude platform, specifically designed for Web3 and smart contract formal verification. The skills include certora-skill, which uses Certora Verification Language (CVL) and Certora Prover to formally verify EVM smart contracts, and halmos-skill, which performs symbolic testing for EVM contracts with Halmos + Foundry. Users can easily install and use these skills through the marketplace or by copying them directly into their Claude plugins directory.
الوصف
هذا المشروع يوفّر مجموعة من المهارات المُدمجة في منصة كلود، وتصميمًا خاصًا لتحقق صحة العقود الذكية عبر الويب3. وتضم المهارات هذه: مهارة certora-skill التي تستخدم لغة التحقق Certora Verification Language (CVL) ومبرمج Certora Prover لتحقيق التحقق الرسمي للعقود الذكية على EVM، ومهارة halmos-skill التي تؤدي اختبار التمثيلية للمعاهدات على EVM مع Halmos + Foundry. ويمكن للمستخدمين تنزيل وتشغيل هذه المهارات بسهولة من خلال السوق أو عن طريق نسخها مباشرة إلى مجلد المُحركات في كلود.
Novelty
7/10Tags
Claude Models
Quality Score
Strengths
- Low average code complexity \u2014 well-structured code
- Good security practices \u2014 no major issues detected
Weaknesses
- No LICENSE file \u2014 legal ambiguity for contributors
- No tests found \u2014 high risk of regressions
- No CI/CD configuration \u2014 manual testing and deployment
Recommendations
- Add a test suite \u2014 start with critical path integration tests
- Set up CI/CD (GitHub Actions recommended) to automate testing and deployment
- Add a linter configuration to enforce code style consistency
- Add a LICENSE file (MIT recommended for open source)
Security & Health
Languages
Frameworks
Concepts (1)
| Category | Name | Description | Confidence | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Repobility · MCP-ready · https://repobility.com | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| auto_description | Project Description | A collection of Claude Code skills focused on Web3 and smart contract formal verification. | 80% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Embed Badge
Add to your README:
