clare-env-setup

Community

Configure your CLARE environment with ease and verify your project's boundaries.

Authorjketreno
Version1.0.0
Installs0

System Documentation

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

Dependency Matrix

Required Modules

None required

Components

scripts

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: clare-env-setup
Download link: https://github.com/jketreno/clare/archive/main.zip#clare-env-setup

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.