跳到正文
cccskills
免费在 GitHub 公开

genvm-lint

Check GenLayer intelligent contracts before testing. This skill uses the GenVM linter to find forbidden code patterns, SDK usage errors, and type mismatches, with JSON output for repeated fixes and commands to extract contract interface definitions.

中文简介正在准备中。当前显示英语简介。

原文查看原文说明

Validate GenLayer intelligent contracts with the GenVM linter.

实测评分 未实测

查看安装方法

适用场景

  • Checking a contract before running tests
  • Finding forbidden imports and invalid storage types
  • Fixing errors repeatedly using JSON results
  • Extracting contract interface definitions

包含的文件(3)

  • SKILL.md2.7 KB
  • agents/openai.yaml205 B
  • LICENSE1.0 KB

SKILL.md(原文)

安装前可以查看交给 AI 代理的指令内容。

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:

  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

评价

还没有评价。欢迎分享你的使用感受。

评论

无需登录即可发表。欢迎分享使用感受、提问,或说明在哪些环境下无法运行。

还没有评论。来写第一条吧。

提交后会立即公开。请勿填写邮箱、电话等个人信息。URL 最多 2 个。

0 / 1000 字

此表单受 reCAPTCHA 保护,适用 Google 的隐私权政策和服务条款。

同一仓库的技能

Build chat, image generation, and speech transcription features on 0G Compute Network, a distributed GPU marketplace. This skill guides SDK integration, model fine-tuning, response processing for billing, and account funding through code patterns and CLI commands.

中文简介正在准备中。当前显示英语简介。

  • Integrating chat and image generation into an application
  • Preparing model fine-tuning jobs
  • Checking balances and funding provider accounts
internet-court/internet-court-skill69882026年8月20日 更新

Build servers and clients for A2A, an open protocol that lets AI agents communicate across frameworks. Publish agent capabilities, exchange tasks and results, stream progress, and add notifications for workflows involving multiple agents.

中文简介正在准备中。当前显示英语简介。

  • Connect agents built with different frameworks
  • Publish agent capabilities through an Agent Card
  • Build a research, writing, and review workflow
internet-court/internet-court-skill69882026年8月20日 更新

Give an AI agent a wallet with administrator-defined transaction limits. The skill covers encrypted key storage, balance checks, and sending funds through code-enforced rules for destinations, amounts, transaction frequency, and emergency shutdown.

中文简介正在准备中。当前显示英语简介。

  • Give an agent a wallet with transaction limits
  • Restrict transfers to approved chains and addresses
  • Check balances and active rules before sending
internet-court/internet-court-skill69882026年8月20日 更新

Manage a crypto wallet with the awal CLI, including sign-in, balance checks, transfers, swaps, and funding. Also find and pay for APIs through x402, a payment protocol, set up paid endpoints, and query blockchain data on Base.

中文简介正在准备中。当前显示英语简介。

  • Check wallet balances across supported networks
  • Send tokens to an address or ENS name
  • Swap tokens or add wallet funds
internet-court/internet-court-skill69882026年8月20日 更新

Write TypeScript, Rust, or Python code for Alkahest escrow contracts, which hold assets until conditions are met. Covers creating escrows, submitting fulfillment, collecting payments, and building custom contracts that decide whether requirements have been satisfied.

中文简介正在准备中。当前显示英语简介。

  • Integrate Alkahest escrow into an application
  • Build a bot that creates escrows and submits fulfillment
  • Implement payment collection and fulfillment monitoring
internet-court/internet-court-skill69882026年8月20日 更新

Use the Alkahest CLI to manage escrow, where assets are held until agreed conditions are met. It covers buyer deposits, seller fulfillment and collection, third-party decisions, token swaps, and reclaiming expired, unfulfilled deposits.

中文简介正在准备中。当前显示英语简介。

  • Creating escrow with release conditions
  • Submitting work and collecting escrowed assets
  • Approving or rejecting fulfillment as an oracle
internet-court/internet-court-skill69882026年8月20日 更新

查看 internet-court 的全部技能

报告此技能的问题