Run any Skill in Manus with one click

Get Started

$pwd:

genvm-lint

Name: Genvm Lint
Author: genlayerlabs

// Validate GenLayer intelligent contracts with the GenVM linter.

Run Skill in Manus

$ git log --oneline --stat

stars:9

forks:6

updated:May 25, 2026 at 15:37

File Explorer

2 files

SKILL.md

readonly

name	genvm-lint
description	Validate GenLayer intelligent contracts with the GenVM linter.
allowed-tools	["Bash","Read"]

GenVM Lint

Validate intelligent contracts for safety, correctness, and SDK compliance.

Setup

Requires genvm-linter (included in requirements.txt for boilerplate projects):

pip install genvm-linter

Workflow

Always lint before testing. Run genvm-lint check after writing or modifying a contract. Fix all errors before running tests.

genvm-lint check contracts/my_contract.py

check runs both lint (AST safety) and validate (SDK semantics) in one pass.

Commands

check (recommended)

genvm-lint check contracts/my_contract.py
genvm-lint check contracts/my_contract.py --json  # Machine-readable output

lint (fast AST checks only, ~50ms)

genvm-lint lint contracts/my_contract.py

Catches:

Forbidden imports (os, sys, subprocess, random, etc.)
Non-deterministic patterns (bare float usage)
Contract header structure issues

validate (SDK semantic checks, ~200ms)

genvm-lint validate contracts/my_contract.py

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)

genvm-lint schema contracts/my_contract.py
genvm-lint schema contracts/my_contract.py --json
genvm-lint schema contracts/my_contract.py --output abi.json

typecheck (Pyright/Pylance)

genvm-lint typecheck contracts/my_contract.py
genvm-lint typecheck contracts/my_contract.py --json
genvm-lint typecheck contracts/my_contract.py --strict

Runs Pyright with SDK paths auto-configured. Catches type mismatches, missing attributes, undefined variables.

download (pre-download GenVM artifacts)

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

Output Formats

Human (default)

✓ Lint passed (3 checks)
✓ Validation passed
  Contract: MyContract
  Methods: 8 (5 view, 3 write)

JSON (`--json`)

{"ok":true,"lint":{"ok":true,"passed":3},"validate":{"ok":true,"contract":"MyContract","methods":8,"view_methods":5,"write_methods":3,"ctor_params":2}}

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:

Run genvm-lint check contract.py --json
Parse JSON for specific errors
Fix each error in the contract
Re-run check until "ok": true
Proceed to tests

related-skills.json

same repository

direct-tests.md

from "genlayerlabs/skills"

Write and run fast direct mode tests for GenLayer intelligent contracts.

2026-05-259

genlayer-cli.md

from "genlayerlabs/skills"

Use the GenLayer CLI to deploy, interact with, and debug intelligent contracts.

2026-05-259

integration-tests.md

from "genlayerlabs/skills"

Write and run integration tests against a GenLayer environment.

2026-05-259

write-contract.md

from "genlayerlabs/skills"

Write production-quality GenLayer intelligent contracts. Always pins concrete GenVM runner version hashes and never uses local-only test/latest runner aliases. Covers equivalence principles, storage rules, LLM resilience, and cross-contract interaction.

2026-05-259

genlayernode.md

from "genlayerlabs/skills"

Interactive wizard to set up a GenLayer validator node on Linux.

2026-05-259

validator-manage.md

from "genlayerlabs/skills"

Manage GenLayer validators across testnets using the genlayer CLI. Join, fund, set identity, list, and organize validators per network and owner.

2026-03-129

package.json

"author": "genlayerlabs"

"repository": "genlayerlabs/skills"

View GitHub Repository View Creator Repositories

$ install --global

$ download --local

Run Skill in Manus

$ useful --forSOC

Software Quality Assurance Analysts and TestersComputer and Mathematical Occupations15-1253L4

name	genvm-lint
description	Validate GenLayer intelligent contracts with the GenVM linter.
allowed-tools	["Bash","Read"]

GenVM Lint

Validate intelligent contracts for safety, correctness, and SDK compliance.

Setup

Requires genvm-linter (included in requirements.txt for boilerplate projects):

pip install genvm-linter

Workflow

Always lint before testing. Run genvm-lint check after writing or modifying a contract. Fix all errors before running tests.

genvm-lint check contracts/my_contract.py

check runs both lint (AST safety) and validate (SDK semantics) in one pass.

Commands

check (recommended)

genvm-lint check contracts/my_contract.py
genvm-lint check contracts/my_contract.py --json  # Machine-readable output

lint (fast AST checks only, ~50ms)

genvm-lint lint contracts/my_contract.py

Catches:

Forbidden imports (os, sys, subprocess, random, etc.)
Non-deterministic patterns (bare float usage)
Contract header structure issues

validate (SDK semantic checks, ~200ms)

genvm-lint validate contracts/my_contract.py

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)

genvm-lint schema contracts/my_contract.py
genvm-lint schema contracts/my_contract.py --json
genvm-lint schema contracts/my_contract.py --output abi.json

typecheck (Pyright/Pylance)

genvm-lint typecheck contracts/my_contract.py
genvm-lint typecheck contracts/my_contract.py --json
genvm-lint typecheck contracts/my_contract.py --strict

Runs Pyright with SDK paths auto-configured. Catches type mismatches, missing attributes, undefined variables.

download (pre-download GenVM artifacts)

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

Output Formats

Human (default)

✓ Lint passed (3 checks)
✓ Validation passed
  Contract: MyContract
  Methods: 8 (5 view, 3 write)

JSON (`--json`)

{"ok":true,"lint":{"ok":true,"passed":3},"validate":{"ok":true,"contract":"MyContract","methods":8,"view_methods":5,"write_methods":3,"ctor_params":2}}

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:

Run genvm-lint check contract.py --json
Parse JSON for specific errors
Fix each error in the contract
Re-run check until "ok": true
Proceed to tests

genvm-lint

GenVM Lint

Setup

Workflow

Commands

check (recommended)

lint (fast AST checks only, ~50ms)

validate (SDK semantic checks, ~200ms)

schema (extract ABI)

typecheck (Pyright/Pylance)

download (pre-download GenVM artifacts)

Output Formats

Human (default)

JSON (--json)

Exit Codes

Agent Workflow

More from this repository

More from this repository

GenVM Lint

Setup

Workflow

Commands

check (recommended)

lint (fast AST checks only, ~50ms)

validate (SDK semantic checks, ~200ms)

schema (extract ABI)

typecheck (Pyright/Pylance)

download (pre-download GenVM artifacts)

Output Formats

Human (default)

JSON (--json)

Exit Codes

Agent Workflow

JSON (`--json`)

JSON (`--json`)