Agent skill · software engineering · aiskillstore
genvm-lint
Validate GenLayer intelligent contracts with the GenVM linter.
Why this skill is useful
Adds specific commands and validation patterns for GenLayer intelligent contracts that the AI wouldn't reliably generate on its own.
What it needs
Requires genvm-linter installed locally. About 1k tokens when loaded. Last updated 2026-08-07. 405 stars on the source repository.
What this skill does
GenVM Lint Validate intelligent contracts for safety, correctness, and SDK compliance. Setup Requires genvm-linter (included in requirements.txt for boilerplate projects): Workflow Always lint before testing. Run genvm-lint check after writing or modifying a contract. Fix all errors before running tests. check runs both lint (AST safety) and validate (SDK semantics) in one pass. Commands check (recommended) lint (fast AST checks only, ~50ms) Catches: Forbidden imports (os, sys, subprocess, random, etc.) Non-deterministic patterns (bare float usage) Contract header structure issues validate (SDK semantic checks, ~200ms) Validates: Types exist in SDK (TreeMap, DynArray, Address, etc.) Decorators correctly applied (@gl.public.view, @gl.public.write) Storage fields have valid types (no dict/list) Method signatures correct schema (extract ABI) typecheck (Pyright/Pylance) Runs Pyright with SDK paths auto-configured. Catches type mismatches, missing attributes, undefined variables. download (pre-download GenVM artifacts) Output Formats Human (default) JSON (--json) Exit Codes 0 — All checks passed 1 — Lint or validation errors found 2 — Contract file not found 3 — SDK download failed Agent Workflow When fixing lint errors iteratively: 1. Run genvm-lint check contract.py --json 2. Parse JSON for specific errors 3. Fix each error in the contract 4. Re-run check until "ok": true 5. Proceed to tests
How to use it
Reference it in AdaL, Claude Code, Cursor or any coding agent — nothing to install:
@skills aiskillstore/genvm-lint