What problem does it solve?
This Skill helps you quickly configure your environment for CLARE verification, detecting project file types, recommending tools, VS Code extensions, and generating Dockerfiles for reproducible runs.
Core Features & Use Cases
- Detect File Types: Inspect your repository for various languages and config files.
- Recommends Tools: Extract tooling requirements from project files, suggesting appropriate tools and VS Code extensions.
- Generate Dockerfile.clare: Create a Dockerfile for running verifications in isolated containers.
- Use Case: After installing the skill, run
clare/scripts/clare-env-scan.sh to get a report or output JSON for further analysis.
Quick Start
Run the env-scan helper from your project root to generate an environment configuration report or Dockerfile for verification:
Run:
bash clare/scripts/clare-env-scan.sh --report