Solidity Vulnerability Scanner
alt-research2/SolidityGuard
Comprehensive Solidity contract security scanner detecting 104 vulnerability patterns across reentrancy, access control, arithmetic, DeFi, proxy, and token categories.
Specifies how a GenLayer Intelligent Contract decision about an agent's performance becomes an ERC-7710 revocation or policy change, through a relayer or bridge and an EVM controller.
$ npx skills add internet-court/internet-court-skill --skill genlayer-erc7710-connector -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install internet-court/internet-court-skill genlayer-erc7710-connector --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/internet-court/internet-court-skill.git skills-src && mkdir -p .claude/skills && cp -r skills-src/integrations/genlayer-erc7710-connector .claude/skills/genlayer-erc7710-connector && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "genlayer-erc7710-connector" agent skill from https://github.com/internet-court/internet-court-skill/tree/main/integrations/genlayer-erc7710-connector into .claude/skills/genlayer-erc7710-connector/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "genlayer-erc7710-connector", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/internet-court/internet-court-skill/tree/main/integrations/genlayer-erc7710-connectorType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add internet-court/internet-court-skill --skill genlayer-erc7710-connector -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install internet-court/internet-court-skill genlayer-erc7710-connector --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/internet-court/internet-court-skill.git skills-src && mkdir -p .agents/skills && cp -r skills-src/integrations/genlayer-erc7710-connector .agents/skills/genlayer-erc7710-connector && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "genlayer-erc7710-connector" agent skill from https://github.com/internet-court/internet-court-skill/tree/main/integrations/genlayer-erc7710-connector into .agents/skills/genlayer-erc7710-connector/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "genlayer-erc7710-connector", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add internet-court/internet-court-skill --skill genlayer-erc7710-connector -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install internet-court/internet-court-skill genlayer-erc7710-connector --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/internet-court/internet-court-skill.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/integrations/genlayer-erc7710-connector .cursor/skills/genlayer-erc7710-connector && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "genlayer-erc7710-connector" agent skill from https://github.com/internet-court/internet-court-skill/tree/main/integrations/genlayer-erc7710-connector into .cursor/skills/genlayer-erc7710-connector/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "genlayer-erc7710-connector", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/internet-court/internet-court-skill.git --path integrations/genlayer-erc7710-connector--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add internet-court/internet-court-skill --skill genlayer-erc7710-connector -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install internet-court/internet-court-skill genlayer-erc7710-connector --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/internet-court/internet-court-skill.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/integrations/genlayer-erc7710-connector .gemini/skills/genlayer-erc7710-connector && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "genlayer-erc7710-connector" agent skill from https://github.com/internet-court/internet-court-skill/tree/main/integrations/genlayer-erc7710-connector into .gemini/skills/genlayer-erc7710-connector/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "genlayer-erc7710-connector", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install internet-court/internet-court-skill genlayer-erc7710-connectorInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add internet-court/internet-court-skill --skill genlayer-erc7710-connector -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/internet-court/internet-court-skill.git skills-src && mkdir -p .github/skills && cp -r skills-src/integrations/genlayer-erc7710-connector .github/skills/genlayer-erc7710-connector && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "genlayer-erc7710-connector" agent skill from https://github.com/internet-court/internet-court-skill/tree/main/integrations/genlayer-erc7710-connector into .github/skills/genlayer-erc7710-connector/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "genlayer-erc7710-connector", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add internet-court/internet-court-skill --skill genlayer-erc7710-connector -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install internet-court/internet-court-skill genlayer-erc7710-connector --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/internet-court/internet-court-skill.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/integrations/genlayer-erc7710-connector .opencode/skills/genlayer-erc7710-connector && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "genlayer-erc7710-connector" agent skill from https://github.com/internet-court/internet-court-skill/tree/main/integrations/genlayer-erc7710-connector into .opencode/skills/genlayer-erc7710-connector/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "genlayer-erc7710-connector", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
genlayer-erc7710-connectorSpecifies how a GenLayer Intelligent Contract decision about an agent's performance becomes an ERC-7710 revocation or policy change, through a relayer or bridge and an EVM controller.
Use this skill after the mandate, the ERC-7710 policy and the GenLayer Intelligent Contract review flow already exist. It specifies the connector between them: the interface and message schema, the relayer or bridge path, an EVM revocation controller, constraint updates, proof and finality assumptions, and failure handling, so a review of an agent's performance can lead to revocation or policy changes under delegated authority.
It does not teach GenLayer contract deployment; build, deploy, test and CLI work is sent to the official GenLayer skills and documentation. The flow it covers runs from a GenLayer decision to a proof, receipt or finalized result, then through a relayer or bridge to the EVM side, with connector-patterns.md as the pattern reference. A core rule is never to say that GenLayer cancels ERC-7710 without defining the effect path, since GenLayer only produces a decision that an EVM-side controller, account module, caveat enforcer or delegation manager must consume.
The workflow identifies the permission (mandate, delegator, delegate, delegation manager, chain and policy), the GenLayer decision source, the connector mode from a manual demo relay to a trusted relayer or bridge verification, the message, the EVM effect, the safety measures and the tests. Safety covers finality, replay protection, nonces, deadlines, idempotency, an emergency owner revoke and absolute permission expiry.
7 steps, taken from the first numbered list in SKILL.md.
Read from SKILL.md and the folder at commit fa89195. It shows what the files ask for, not the result of running them.
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
No scripts in the folder and no shell commands in SKILL.md (its code samples are typescript and solidity).
From the folder's file list and the shell code blocks in SKILL.md.
Hosts in commands or code, which the agent is likely to contact:
skills.genlayer.comFrom URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
GenLayer ERC-7710 Connector loads about 2.2k tokens when it runs, and up to ~3.1k if it reads all its reference files. Until then it costs about 96 tokens; SKILL.md has 805 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 805 words (~2,156 tokens).
“Use this skill after the mandate, ERC-7710 policy, and GenLayer Intelligent Contract review flow exist. This skill does not teach GenLayer contract deployment. For GenLayer build, deploy, test, and CLI operations, use the official GenLayer skills at https://skills.genlayer.com/ or the…”
SKILL.md and 1 other file (references) in integrations/genlayer-erc7710-connector of internet-court/internet-court-skill.
Open the folder on GitHubat commit fa89195
We found 2 copies of this SKILL.md (exact, near-identical or edited) in other folders, from 1 other GitHub owner. This page covers the copy in internet-court/internet-court-skill, which our catalogue first saw on October 7, 2026.
GenLayer ERC-7710 Connector next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| GenLayer ERC-7710 Connector this skillinternet-court/internet-court-skill | 6.6k | 1 repos | ~2.2k | Automated safety check: Pass | Custom licence | |
| Solidity Vulnerability Scanneralt-research2/SolidityGuard | 104 | — | ~1.6k | Automated safety check: Notes | Custom licence | |
| Solana Token Extensionssolanabr/ai-kit | 109 | — | ~3.5k | Automated safety check: Pass | MIT | |
| DeFi Protocol Templateswshobson/agents | 40k | 11 repos | ~1.9k | Automated safety check: Pass | MIT | |
| Ethskillsaustintgriffith/ethskills | 295 | — | ~1.4k | Automated safety check: Pass | None | |
| Erc 8004aAAaqwq/AGI-Super-Team | 105 | 2 repos | ~1.2k | Automated safety check: Pass | MIT |
alt-research2/SolidityGuard
Comprehensive Solidity contract security scanner detecting 104 vulnerability patterns across reentrancy, access control, arithmetic, DeFi, proxy, and token categories.
solanabr/ai-kit
Helps choose, combine and create Token-2022 mint and account extensions on Solana with the spl-token CLI, @solana/kit or Anchor, and integrate the resulting mints.
wshobson/agents
Solidity templates for DeFi building blocks: staking with reward distribution, an automated market maker, governance tokens and flash loans.
austintgriffith/ethskills
Ethereum development knowledge for AI agents — from idea to deployed dApp.
aAAaqwq/AGI-Super-Team
Register AI agents on Ethereum mainnet using ERC-8004 (Trustless Agents).
PayRam/payram-mcp
Self-hosted crypto and stablecoin payment gateway. An agent skill from PayRam/payram-mcp.
internet-court/internet-court-skill
Uploads one Kleros-related file per paid request to IPFS through the Kleros x402 gateway for 0.01 USDC on Base, returning a CID that Kleros contracts can reference.
internet-court/internet-court-skill
Guides building on the 0G Compute Network, a decentralized GPU marketplace for AI inference and fine-tuning, with SDK patterns and CLI commands.
internet-court/internet-court-skill
Creates, trades and settles permissionless prediction markets on Solana with any SPL token as collateral, including social-media and custom-oracle markets.
internet-court/internet-court-skill
Connects an agent to the BNB Chain MCP server to read blocks and contracts, move tokens and NFTs, register ERC-8004 agents and use Greenfield storage.
internet-court/internet-court-skill
Specifies how a GenLayer Intelligent Contract should supervise an AI agent, with review rubrics, evidence schemas and continue, warn, constrain or revoke decisions.
internet-court/internet-court-skill
Pulls live crypto token data, DeFi metrics, wallet holdings, project research and Twitter/X signals through Heurist Mesh agents over a REST API.
Categories
Specifies how a GenLayer Intelligent Contract decision about an agent's performance becomes an ERC-7710 revocation or policy change, through a relayer or bridge and an EVM controller. Use this skill after the mandate, the ERC-7710 policy and the GenLayer Intelligent Contract review flow already exist. It specifies the connector between them: the interface and message schema, the relayer or bridge path, an EVM revocation controller, constraint updates, proof and finality assumptions, and failure handling, so a review of an agent's performance can lead to revocation or policy changes under delegated authority.
GenLayer ERC-7710 Connector fits situations like: designing the relayer or bridge between GenLayer and an EVM controller; defining the message schema for revoking an agent's delegated authority; working out proof and finality assumptions for cross-chain revocation; planning failure handling when a revocation message cannot be delivered.
Run `npx skills add internet-court/internet-court-skill --skill genlayer-erc7710-connector -a claude-code`. Or copy the skill folder (integrations/genlayer-erc7710-connector in internet-court/internet-court-skill) into .claude/skills/genlayer-erc7710-connector in your project. Claude Code loads it when a task matches its description.
Run `npx skills add internet-court/internet-court-skill --skill genlayer-erc7710-connector -a codex`. Or copy the skill folder (integrations/genlayer-erc7710-connector in internet-court/internet-court-skill) into .agents/skills/genlayer-erc7710-connector in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add internet-court/internet-court-skill --skill genlayer-erc7710-connector -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/genlayer-erc7710-connector, .gemini/skills/genlayer-erc7710-connector, .github/skills/genlayer-erc7710-connector and .opencode/skills/genlayer-erc7710-connector in your project.
SKILL.md names no scripts, command-line tools or credentials: GenLayer ERC-7710 Connector is instructions for the agent only.
SKILL.md names 1 domain. In commands or code: skills.genlayer.com; the agent is likely to contact it when it follows the instructions. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
GenLayer ERC-7710 Connector has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.
About 2.2k tokens (SKILL.md is roughly 8.6k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 972 tokens, read only when the agent opens those files.
Skills that share tags, products or a category with GenLayer ERC-7710 Connector: Solidity Vulnerability Scanner (alt-research2/SolidityGuard, 104 stars), Solana Token Extensions (solanabr/ai-kit, 109 stars), DeFi Protocol Templates (wshobson/agents, 40k stars) and Ethskills (austintgriffith/ethskills, 295 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
internet-court (a GitHub organization) maintains it in internet-court/internet-court-skill, which has 6,551 GitHub stars. The repository holds 80 skills in this directory. The repository was last updated on August 19, 2026.
Source: internet-court/internet-court-skill on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.