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

Ready to run

npx skills add https://github.com/genlayerlabs/skills --skill genvm-lint

💬 Prompt for ChatGPT / Claude Chat▼

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.