Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx skills add mapleleavessssssss-wq/vivado-mcp --skill vivado-project-bringupgit clone --depth 1 https://github.com/mapleleavessssssss-wq/vivado-mcpWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/mapleleavessssssss-wq/vivado-mcp/vivado-project-bringup)<a href="https://agentmods.dev/skills/mapleleavessssssss-wq/vivado-mcp/vivado-project-bringup"><img src="https://agentmods.dev/badge/skills/mapleleavessssssss-wq/vivado-mcp/vivado-project-bringup/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/mapleleavessssssss-wq/vivado-mcp/vivado-project-bringup"><img src="https://agentmods.dev/badge/skills/mapleleavessssssss-wq/vivado-mcp/vivado-project-bringup.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00050 | $0.01105 |
| Opus 5.5 | $0.00020 | $0.00442 |
| Sonnet 5.5 | $0.00010 | $0.00221 |
| Haiku 4.5 | $0.00005 | $0.00111 |
Grade A, and why
vivado-project-bringup scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 23d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 42 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Vivado 工程 Bring-up
可用入口:list_sessions、start_session、get_project_info、get_critical_warnings、verilog_compile_check、xdc_lint、get_cdc_report、get_timing_report、get_utilization_report、run_synthesis、run_implementation、get_run_progress、check_bitstream_readiness、generate_bitstream、parse_bit_header、run_tcl、safe_tcl。
使用已连接的 vivado-mcp。先区分用户要接管已有工程、创建工程还是只查看报告;分析请求不自动启动构建。复用已有授权完成常规修复,不因切换诊断工具重复确认。只有明确请求才编程硬件。
确定工程与基线
- 用
list_sessions找到目标会话,必要时才start_session;后续所有现场工具携带同一session_id,不要并行修改同一工程。 - 用
get_project_info核对工程、器件、top 和 run 状态;再经run_tcl查询 source/constraint/simulation fileset。不能从工程文件名猜测器件或板卡引脚。 - 缺少器件、接口约束或期望行为时,指出哪些步骤受阻,继续源文件、日志等可做的检查。保留已有源文件和用户改动。
- 用
get_critical_warnings定位首个根因。综合尚未完成时,设计报告不可用是阶段限制,不是无问题。
建立或修复
创建工程只在用户要求时进行。路径、实例名和用户输入经 safe_tcl 参数转义;固定的查询命令可用 run_tcl。以下是 MCP 调用示例,需替换为已核对路径和会话:
safe_tcl(template="open_project {0}", args=["/work/design/design.xpr"], session_id="design")
safe_tcl(template="add_files -fileset constrs_1 {0}", args=["/work/design/board.xdc"], session_id="design")
PL 工程先核对 source/top 与 XDC 的端口对应关系。BD 工程须核对时钟、复位、接口和地址,完成 validate_bd_design、生成 output products 与 wrapper,再进入综合。不要为单个缺失 IP 产物批量升级所有 IP。
构建、复测和交付
- 综合前执行
verilog_compile_check与xdc_lint,核对实际语言、文件集和工具覆盖;这是静态预检,不能替代 Vivado elaboration 或行为验证。 - 有可用 testbench 且请求包含功能验证时,执行 compile/elaborate 和有限仿真,记录 assertion/scoreboard、测试完成标志、时长和失败数。没有 testbench 或只请求构建时标记“功能未验证”,按已有授权继续构建,不把它算作仿真 PASS;真实失败不得被下游成功掩盖。
run_synthesis后以get_run_progress确认实际结果,保留首个错误;有跨域传输时用get_cdc_report建立结构检查基线,并核对时钟覆盖。进程结束不等于成功。- 仅在请求范围需要时
run_implementation,检查实际 run 状态。变更后重跑受影响阶段,记录本轮输入和报告来源。 get_timing_report(output_format="json")与get_utilization_report记录新基线;综合数据只能作早期估计。post-route 还需约束覆盖、route、DRC、methodology 和适用 CDC/bus-skew 证据。- 请求生成 bitstream 时先
check_bitstream_readiness,与本轮报告一致后才generate_bitstream。需要时用parse_bit_header核对器件;文件存在不证明板上功能正常。
按阶段列出“执行/未执行、PASS/FAIL/未验证、证据来源、阻塞原因”。构建成功与功能验证分开报告,不能把缺测试的阶段补成 PASS。
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 23d ago First seen · 42 lines · 50 tokens per session scan A 7e04e2ffc1d7
vivado-project-bringup is a skill published in the GitHub repository mapleleavessssssss-wq/vivado-mcp (157 stars, last pushed 24d ago), licensed Apache-2.0. It adds 50 tokens to every session and 1,105 once invoked, about $0.0002 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-09-23.
Other skills, from other repositories
readable-verilog-generator
Use when creating, writing, reviewing, annotating, repairing, refactoring, or validating readable Verilog RTL, including synthesizable Verilog-2001 .v files, existing-RTL analysis, semantic comment annotation, testbench scaffold planning, ASIC-quality review, local or remote Vivado/xsim validation, evidence-backed…
readable-hls-generator
Use when you need to create, write, review, annotate, or validate readable HLS, Vitis HLS, high-level synthesis, or HLS debug workflows.
hsb-ip-packetizer
Choose or explain HSB Sensor RX packetizer fields for HOLOLINKdef.svh. Do not use for full defs, validation, or runtime APB programming.
hsb-ip-create-top
Create or explain fixed-format HSB FPGAtop.sv wrappers from validated HOLOLINKdef.svh files. Do not use for def generation or validation.
hsb-ip-def
Generate, validate, compare, or explain HSB HOLOLINKdef.svh macros. Do not use for FPGAtop.sv wrappers or packetizer-only derivation. Generation runs bundled Python scripts locally through shell commands and writes validated .svh output files after user-confirmed paths.
kicad
Analyze KiCad projects and PDF schematics: schematics, PCB layouts, Gerbers, footprints, symbols, netlists, and design rules. Reviews designs for bugs, traces nets, cross-references schematic to PCB, extracts BOM data, checks DRC/ERC, DFM, power trees, and regulator circuits. Every finding carries a confidence label…