skills.rest
genlayerlabs
genlayerlabsOFFICIAL
Explore all skills by this author →
Website𝕏@genlayerGitHub

genvm-lint

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

10|6|Updated Jan 29, 2026
Search Tags:#validation#type checking#smart contracts#linter#abi#genlayer
One-click install
npx skills add https://github.com/genlayerlabs/skills --skill genvm-lint
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: genvm-lint
Source: https://github.com/genlayerlabs/skills/tree/main/plugins/genlayer-dev/skills/genvm-lint
Command: npx skills add https://github.com/genlayerlabs/skills --skill genvm-lint

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill ensures that GenLayer intelligent contracts are safe, correct, and compliant with the SDK, preventing common errors before deployment.

Core Features & Use Cases

  • Contract Validation: Checks for forbidden imports, non-deterministic patterns, and incorrect SDK usage.
  • ABI Generation: Extracts the contract's Application Binary Interface (ABI).
  • Type Checking: Integrates with Pyright for robust type verification.
  • Use Case: Before deploying a new smart contract, use genvm-lint check to catch potential bugs and ensure it adheres to best practices, saving costly debugging time later.

Quick Start

Run genvm-lint check on your contract file contracts/my_contract.py.

Frequently Asked Questions about genvm-lint

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I validate GenLayer smart contracts before deployment?▼

GenLayer contract validation is performed by running the genvm-lint check command on your contract file to detect forbidden imports, non-deterministic patterns, and incorrect SDK usage, ensuring safety and correctness.

What does GenVM linter check for in intelligent contracts?▼

The GenVM linter checks intelligent contracts for forbidden imports, non-deterministic patterns, and incorrect SDK usage to ensure safety, correctness, and SDK compliance before contract deployment.

How do I extract an ABI from a GenLayer contract file?▼

You can extract an ABI from a GenLayer contract file by running genvm-lint, which supports schema extraction specifically for Application Binary Interface generation alongside its standard type checking features.

Do I need Pyright installed to type check GenLayer contracts?▼

Yes, the GenVM linter integrates with Pyright to provide robust type verification for GenLayer contracts, and the genvm-linter package itself must be installed and available in your environment.

Can I use genvm-lint to catch non-deterministic patterns in smart contracts?▼

Yes, you can use genvm-lint to catch non-deterministic patterns in smart contracts; the linter specifically validates for these patterns along with forbidden imports and incorrect SDK usage to prevent common errors.

Related Skills

Explore More Software Engineering Skills→
proven-xyzproven-xyz
2

genvm-lint

Lint, validate, and typecheck GenLayer intelligent contracts for SDK compliance.

Official
Intermediate
genlayerlabsgenlayerlabs
10

deploy

Deploys GenLayer intelligent contracts to a configured blockchain endpoint using the official repository script.

Official
Basic
genlayerlabsgenlayerlabs
10

direct-tests

Execute in-memory unit tests for GenLayer intelligent contracts with mocking and VM cheatcodes.

Official
Intermediate
fall-development-robfall-development-rob
7

specflow

Validate YAML contract files and run vitest suites to block contract violations.

Community
Advanced