Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →internet-court/genvm-lint
Validate GenLayer intelligent contracts with the GenVM linter.
Passed 19 of 21 test cases with the skill, and 6 of 21 without it.
and 12 more in the full report
15 fixed5 passed either way1 still failing1 broke
Tokens, turns and time describe resource use, not a dollar price.
One of 14 test cases the skill fixed. Same model, same prompt, with and without the skill.
I need to verify typing correctness for `contracts/governance.py` before running tests. Please execute a strict type check on the file using the project's linter tool and display any errors.
| Checked | Without skill | With skill |
|---|---|---|
| Runs genvm-lint typecheck contracts/governance.py --strict. | Missed | Passed |
The instructions your model reads when the skill loads.
Validate intelligent contracts for safety, correctness, and SDK compliance.
Requires genvm-linter (included in requirements.txt for boilerplate projects):
pip install genvm-linter
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.
genvm-lint check contracts/my_contract.py
genvm-lint check contracts/my_contract.py --json # Machine-readable output
genvm-lint lint contracts/my_contract.py
Catches:
os, sys, subprocess, random, etc.)float usage)test cases passed, vs 6 / 21 without
More skills from the same source and nearby in the registry, with their headline benchmark lift.