Agent skill

Edge Synth Report

by exeex in exeex/edge-cores

Run and diagnose the repository-local Yosys synthesis profiles for edge-e3 encrypted product RTL, edge-rv, and edge-rv-lite, then summarize FPGA resource reports.

Apache-2.0Auto-check passedAI & LLM Engineering

Install Edge Synth Report

skills CLI
$ npx skills add exeex/edge-cores --skill edge-synth-report -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install exeex/edge-cores edge-synth-report --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/exeex/edge-cores.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.codex/skills/edge-synth-report .claude/skills/edge-synth-report && rm -rf skills-src

Use ~/.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/

Facts

Skill name
edge-synth-report
GitHub stars
110
Token cost
~516 tokens
SKILL.md length
200 words
Files
2
Skills in repo
9
Repo updated
First seen
Licence
Apache-2.0

At a glance

Run and diagnose the repository-local Yosys synthesis profiles for edge-e3 encrypted product RTL, edge-rv, and edge-rv-lite, then summarize FPGA resource reports.

  • Works in 4 steps: From the repository root, run a cheap… → Run synthesis only after preflight… → Read synth/build///stat.txt. Record the… → …
  • AI & LLM Engineering work in your project
  • SKILL.md covers Profiles and Workflow
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Edge Synth Report is an agent skill from exeex/edge-cores. Run and diagnose the repository-local Yosys synthesis profiles for edge-e3 encrypted product RTL, edge-rv, and edge-rv-lite, then summarize FPGA resource reports.

Its SKILL.md is about 520 tokens, which your agent loads only when the skill is triggered. The skill folder holds 2 other files (for example `agents/openai.yaml`).

It sits in AI & LLM Engineering. The repository describes itself as: The shortest path from PyTorch to custom ASICs. The licence is Apache-2.0.

When your agent uses it

  • AI & LLM Engineering work in your project

Example prompts

  • “/edge-synth-report”

Workflow steps

4 steps, taken from the first numbered list in SKILL.md.

  1. From the repository root, run a cheap source/filelist preflight
  2. Run synthesis only after preflight succeeds
  3. Read synth/build///stat.txt. Record the Yosys version,
  4. Compare profiles only when target, Yosys version, defines, DSP policy, and

What it can do on your machine

Read from SKILL.md and the folder at commit 68dc8aa. It shows what the files ask for, not the result of running them.

  • Tool permissions

    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.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md (its code samples are bash).

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Edge Synth Report loads about 516 tokens when it runs. Until then it costs about 45 tokens; SKILL.md has 200 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~45
When it runs · the whole SKILL.md, loaded when a task matches
~516

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.

Safety

Auto-check passed

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.

SKILL.md

The full file from exeex/edge-cores at commit 68dc8aa, republished under its Apache-2.0 licence (© exeex). 200 words, ~516 tokens.

Download SKILL.mdSave it as .claude/skills/edge-synth-report/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.
name
edge-synth-report
description
Run and diagnose the repository-local Yosys synthesis profiles for edge-e3 encrypted product RTL, edge-rv, and edge-rv-lite, then summarize FPGA resource reports.

Edge Synth Report

Use this skill for local synthesis setup, profile selection, Yosys failures, and resource comparisons. The maintained entry point is synth/run_profile.sh; do not borrow files at runtime from ~/n906.

Profiles

  • edge-rv@e3: full product, top edge_core_top, using only the encrypted product release plus its public filelist through src/edge-e3enc/edge_e3enc_mixed.fl.
  • edge-rv-lite@e3: reserved full-product lite profile. It must fail clearly until src/edge-e3enc/edge_e3enc.v exports edge_core_lite_top. Never fall back to private src/edge-e3 sources.
  • edge-rv: reusable public RV resource boundary, top edge_rv_top.
  • edge-rv-lite: public cached lite boundary, top edge_rv_lite_cached_core.

Composed profiles use <scalar-core>@<asic-set>. Downstream packages may add their own ASIC-set suffix, for example edge-rv@some_asic_set; names without @ refer to standalone scalar boundaries.

Workflow

  1. From the repository root, run a cheap source/filelist preflight:

    sh
    ./synth/run_profile.sh --check <profile> xilinx
  2. Run synthesis only after preflight succeeds:

    sh
    ./synth/run_profile.sh <profile> xilinx
  3. Read synth/build/<top>/<profile>/stat.txt. Record the Yosys version, target, profile, Git revisions, total cells, LUT1-6 sum, flip-flops, DSPs, carry cells, mux cells, and BRAMs.

  4. Compare profiles only when target, Yosys version, defines, DSP policy, and SRAM substitution policy match. Describe results as FPGA-oriented estimates, not ASIC PPA or place-and-route results.

The lower-level synth/run_yosys.sh accepts a top, target, and filelist for diagnostic or one-off boundaries. STAREDGE_YOSYS_VARIANT, STAREDGE_YOSYS_DEFINES, and STAREDGE_YOSYS_XILINX_NODSP retain the behavior of the reference n906 flow.

© exeex, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 1 other file in .codex/skills/edge-synth-report of exeex/edge-cores.

  • SKILL.md
  • agents/openai.yaml

Open the folder on GitHubat commit 68dc8aa

Compare with similar skills

Edge Synth Report 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.

Edge Synth Report compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Edge Synth Report this skillexeex/edge-cores110—~516Automated safety check: PassApache-2.0
Agent BuildershareAI-lab/learn-claude-code78k6 repos~1.2kAutomated safety check: PassMIT
Add Uint Supportpytorch/pytorch104k2 repos~2.3kAutomated safety check: PassCustom licence
Peft Fine TuningOrchestra-Research/AI-Research-SKILLs13k9 repos~3.1kAutomated safety check: PassMIT
Segment Anything Model GuideOrchestra-Research/AI-Research-SKILLs13k9 repos~3.3kAutomated safety check: PassMIT
1passwordtrpc-group/trpc-agent-go1.8k15 repos~656Automated safety check: PassApache-2.0

Similar skills

  • Agent Builder

    shareAI-lab/learn-claude-code

    Design and build AI agents for any domain. An agent skill from shareAI-lab/learn-claude-code.

    78k GitHub starsUsed in 6 repos~1.2k tokens
    AI & LLM EngineeringAuto-check passed
  • Add Uint Support

    pytorch/pytorch

    Add unsigned integer (uint) type support to PyTorch operators by updating ATDISPATCH macros.

    104k GitHub starsUsed in 2 repos~2.3k tokens
    AI & LLM EngineeringAuto-check passed
  • Peft Fine Tuning

    Orchestra-Research/AI-Research-SKILLs

    Parameter-efficient fine-tuning for LLMs using LoRA, QLoRA, and 25+ methods.

    13k GitHub starsUsed in 9 repos~3.1k tokens
    AI & LLM EngineeringAuto-check passed
  • Segment Anything Model Guide

    Orchestra-Research/AI-Research-SKILLs

    Guide to using Meta's Segment Anything Model for zero-shot image segmentation with point, box or mask prompts, or automatic mask generation.

    13k GitHub starsUsed in 9 repos~3.3k tokens
    AI & LLM EngineeringAuto-check passed
  • 1password

    trpc-group/trpc-agent-go

    Set up and use 1Password CLI (op). An agent skill from trpc-group/trpc-agent-go.

    1.8k GitHub starsUsed in 15 repos~656 tokens
    AI & LLM EngineeringAuto-check passed
  • Chroma Vector Database

    Orchestra-Research/AI-Research-SKILLs

    Shows how to store documents and embeddings in Chroma, query them by similarity with metadata filters, and persist them to disk for RAG and semantic search projects.

    13k GitHub starsUsed in 8 repos~2.3k tokens
    AI & LLM EngineeringAuto-check passed

More from exeex/edge-cores

All 9 skills in this repo
  • Edge Bringup

    exeex/edge-cores

    Prepare a macOS or Ubuntu machine for edge-e3 development, diagnose missing Verilator/LLVM/Python dependencies, initialize the public repository, and answer or act on the example prompts in the root…

    110 GitHub stars~1.7k tokensUpdated 12 days ago
    Auto-check: notes
  • Edge Contribution

    exeex/edge-cores

    Prepare, validate, submit, triage, and review open-source contributions to the shared Edge RV framework in edge-cores.

    110 GitHub stars~1.2k tokensUpdated 12 days ago
    Auto-check passed
  • Rtl Release Packager

    exeex/edge-cores

    Generate, compare, validate, and prepare mixed public/private RTL release packages with symbol-obfuscated proprietary RTL and unchanged public RTL dependencies.

    110 GitHub stars~892 tokensUpdated 12 days ago
    Auto-check passed
  • Integrate Your Design

    exeex/edge-cores

    Integrate and publish your own accelerator or ASIC design, DMA, and DTCM/SRAM with the Edge RV64 scalar core and command path.

    110 GitHub stars~1.4k tokensUpdated 12 days ago
    Auto-check passed
  • Llama Nnc

    exeex/edge-cores

    Develop and profile the edge-e3 PyTorch-to-NNC flow, including nnc/compiler.py lowering and generated ABI, example/llama smoke models, cpp/libnn runtime operators, BF16 correctness checks, and…

    110 GitHub stars~1.1k tokensUpdated 12 days ago
    Auto-check passed
  • Software Harness

    exeex/edge-cores

    Run, extend, debug, or review the public edge-e3 bare-metal software harness, including encrypted Verilator builds, hello and tensor examples, all example/llama/model smoke cases, PyTorch BF16…

    110 GitHub stars~1k tokensUpdated 12 days ago
    Auto-check passed

Questions about Edge Synth Report

What does Edge Synth Report do?

Run and diagnose the repository-local Yosys synthesis profiles for edge-e3 encrypted product RTL, edge-rv, and edge-rv-lite, then summarize FPGA resource reports. Edge Synth Report is an agent skill from exeex/edge-cores. Run and diagnose the repository-local Yosys synthesis profiles for edge-e3 encrypted product RTL, edge-rv, and edge-rv-lite, then summarize FPGA resource reports.

When should I use Edge Synth Report?

Edge Synth Report fits situations like: AI & LLM Engineering work in your project.

How do I install Edge Synth Report in Claude Code?

Run `npx skills add exeex/edge-cores --skill edge-synth-report -a claude-code`. Or copy the skill folder (.codex/skills/edge-synth-report in exeex/edge-cores) into .claude/skills/edge-synth-report in your project. Claude Code loads it when a task matches its description.

How do I install Edge Synth Report in Codex?

Run `npx skills add exeex/edge-cores --skill edge-synth-report -a codex`. Or copy the skill folder (.codex/skills/edge-synth-report in exeex/edge-cores) into .agents/skills/edge-synth-report in your project. Codex loads it when a task matches its description.

Can I use Edge Synth Report in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add exeex/edge-cores --skill edge-synth-report -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/edge-synth-report, .gemini/skills/edge-synth-report, .github/skills/edge-synth-report and .opencode/skills/edge-synth-report in your project.

What does Edge Synth Report need to run?

SKILL.md names no scripts, command-line tools or credentials: Edge Synth Report is instructions for the agent only.

Does Edge Synth Report access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Edge Synth Report safe to install?

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.

What licence does Edge Synth Report use?

Edge Synth Report is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Edge Synth Report use?

About 516 tokens (SKILL.md is roughly 2.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Edge Synth Report?

Skills that share tags, products or a category with Edge Synth Report: Agent Builder (shareAI-lab/learn-claude-code, 78k stars), Add Uint Support (pytorch/pytorch, 104k stars), Peft Fine Tuning (Orchestra-Research/AI-Research-SKILLs, 13k stars) and Segment Anything Model Guide (Orchestra-Research/AI-Research-SKILLs, 13k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Edge Synth Report?

exeex (a GitHub user) maintains it in exeex/edge-cores, which has 110 GitHub stars. The repository holds 9 skills in this directory. The repository was last updated on September 26, 2026.

Source: exeex/edge-cores on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.