skills.rest
proven-xyz
proven-xyzOFFICIAL
Explore all skills by this author →
GitHub

genvm-lint

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

2|1|Updated Mar 20, 2026
Search Tags:#validation#sdk#lint#contract#typecheck#genlayer
One-click install
npx skills add https://github.com/proven-xyz/proven-app --skill genvm-lint-proven-xyz
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: genvm-lint
Source: https://github.com/proven-xyz/proven-app/tree/main/.agents/skills/genvm-lint
Command: npx skills add https://github.com/proven-xyz/proven-app --skill genvm-lint-proven-xyz

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

Linting, validating, and schema-extracting GenLayer intelligent contracts before tests or deployment to catch issues early and ensure SDK compliance.

Core Features & Use Cases

  • Linting and validating smart contracts to detect syntax errors, unsafe patterns, and SDK violations.
  • Schema extraction for ABI generation and contract introspection.
  • Typechecking contracts against the GenLayer SDK to ensure correct usage.
  • Use Case: When modifying a contract, run this skill to surface issues before running tests or deployment.

Quick Start

Run the lint workflow on your contract to surface and fix issues before testing.

Frequently Asked Questions about genvm-lint

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

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

Linting and validating GenLayer contracts detects syntax errors, unsafe patterns, and SDK violations. This skill enforces AST safety and SDK semantic checks, allowing you to surface structural issues before running tests or deploying your intelligent contracts.

What does typechecking GenLayer contracts against the SDK ensure?▼

Typechecking GenLayer contracts ensures correct SDK usage and compliance. It validates contract code against the GenLayer SDK to catch type mismatches and semantic issues, verifying that your intelligent contract safely adheres to the required schema before release.

Can I extract ABI and schema from GenLayer intelligent contracts?▼

Yes, you can extract ABI and schema from GenLayer intelligent contracts. The skill performs schema extraction for ABI generation and contract introspection, ensuring your contract meets the required structural definitions for GenVM linter compliance and SDK integration.

When should I run a GenVM linter check on my contract code?▼

You should run a GenVM linter check when modifying a contract or before running tests and deployment. Applying this workflow early catches structural and SDK-related issues, ensuring your GenLayer contract remains safe and compliant before release.

Does the GenLayer SDK validation work without external dependencies?▼

Yes, GenLayer SDK validation works without external dependencies. The skill uses the GenVM linter internally to enforce AST safety, SDK semantic checks, and ABI schema extraction directly on your contract code without requiring additional external packages.

Related Skills

Explore More Software Engineering Skills→
genlayerlabsgenlayerlabs
10

genvm-lint

Validate GenLayer intelligent contracts for safety, correctness, and 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

verify

Run lint, typecheck, tests, build, and npm audits for the intelligent-oracle project.

Official
Intermediate
abdullah1854abdullah1854
1

memory-systems

Design memory architectures with vector stores, knowledge graphs, and temporal knowledge graphs.

Community
Advanced