genvm-linter 0.7.0

Fast validation and schema extraction for GenLayer intelligent contracts

genvm-linter

Fast validation and schema extraction for GenLayer intelligent contracts.

Installation

pip install genvm-linter

Usage

# Run both lint and validate (default)
genvm-lint check contract.py

# Fast AST safety checks only (~50ms)
genvm-lint lint contract.py

# Full SDK semantic validation (~200ms cached)
genvm-lint validate contract.py

# Extract ABI schema
genvm-lint schema contract.py
genvm-lint schema contract.py --output abi.json

# Pre-download GenVM artifacts
genvm-lint download                    # Latest
genvm-lint download --version v0.2.12  # Specific version
genvm-lint download --list             # Show cached

# Agent-friendly JSON output
genvm-lint check contract.py --json

How It Works

Layer 1: AST Lint Checks (Fast)

• Forbidden imports (random, os, time, etc.)
• Non-deterministic patterns (float(), time.time())
• Structure validation (dependency header)

Layer 2: SDK Validation (Accurate)

• Downloads GenVM release artifacts (cached at ~/.cache/genvm-linter/)
• Loads exact SDK version specified in contract header
• Validates types, decorators, storage fields
• Extracts ABI schema

Exit Codes

• 0 - All checks passed
• 1 - Lint or validation errors
• 2 - Contract file not found
• 3 - SDK download failed

VS Code Extension

This linter is used by the GenLayer VS Code Extension for real-time contract validation.

Development

git clone https://github.com/genlayerlabs/genvm-linter.git
cd genvm-linter
pip install -e ".[dev]"
pytest

License

MIT