MCP Server Builder
anthropics/skills
Guides the design and implementation of Model Context Protocol servers in TypeScript or Python, from tool naming and error messages to evaluation.
使用 vivado-mcp 结构化读取 Vivado CDC 报告，核对跨时钟域的同步结构、协议和约束；支持离线报告审查，不把空报告或零严重项当作完整签核。
Install Vivado Cdc Audit
$ npx skills add mapleleavessssssss-wq/vivado-mcp --skill vivado-cdc-audit -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install mapleleavessssssss-wq/vivado-mcp vivado-cdc-audit --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/mapleleavessssssss-wq/vivado-mcp.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/vivado-cdc-audit .claude/skills/vivado-cdc-audit && 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 "vivado-cdc-audit" agent skill from https://github.com/mapleleavessssssss-wq/vivado-mcp/tree/main/skills/vivado-cdc-audit into .claude/skills/vivado-cdc-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vivado-cdc-audit", 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/mapleleavessssssss-wq/vivado-mcp/tree/main/skills/vivado-cdc-auditType 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 mapleleavessssssss-wq/vivado-mcp --skill vivado-cdc-audit -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install mapleleavessssssss-wq/vivado-mcp vivado-cdc-audit --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mapleleavessssssss-wq/vivado-mcp.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/vivado-cdc-audit .agents/skills/vivado-cdc-audit && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "vivado-cdc-audit" agent skill from https://github.com/mapleleavessssssss-wq/vivado-mcp/tree/main/skills/vivado-cdc-audit into .agents/skills/vivado-cdc-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vivado-cdc-audit", 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 mapleleavessssssss-wq/vivado-mcp --skill vivado-cdc-audit -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install mapleleavessssssss-wq/vivado-mcp vivado-cdc-audit --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mapleleavessssssss-wq/vivado-mcp.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/vivado-cdc-audit .cursor/skills/vivado-cdc-audit && 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 "vivado-cdc-audit" agent skill from https://github.com/mapleleavessssssss-wq/vivado-mcp/tree/main/skills/vivado-cdc-audit into .cursor/skills/vivado-cdc-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vivado-cdc-audit", 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/mapleleavessssssss-wq/vivado-mcp.git --path skills/vivado-cdc-audit--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 mapleleavessssssss-wq/vivado-mcp --skill vivado-cdc-audit -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install mapleleavessssssss-wq/vivado-mcp vivado-cdc-audit --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mapleleavessssssss-wq/vivado-mcp.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/vivado-cdc-audit .gemini/skills/vivado-cdc-audit && 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 "vivado-cdc-audit" agent skill from https://github.com/mapleleavessssssss-wq/vivado-mcp/tree/main/skills/vivado-cdc-audit into .gemini/skills/vivado-cdc-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vivado-cdc-audit", 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 mapleleavessssssss-wq/vivado-mcp vivado-cdc-auditInstalls 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 mapleleavessssssss-wq/vivado-mcp --skill vivado-cdc-audit -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/mapleleavessssssss-wq/vivado-mcp.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/vivado-cdc-audit .github/skills/vivado-cdc-audit && 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 "vivado-cdc-audit" agent skill from https://github.com/mapleleavessssssss-wq/vivado-mcp/tree/main/skills/vivado-cdc-audit into .github/skills/vivado-cdc-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vivado-cdc-audit", 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 mapleleavessssssss-wq/vivado-mcp --skill vivado-cdc-audit -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install mapleleavessssssss-wq/vivado-mcp vivado-cdc-audit --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mapleleavessssssss-wq/vivado-mcp.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/vivado-cdc-audit .opencode/skills/vivado-cdc-audit && 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 "vivado-cdc-audit" agent skill from https://github.com/mapleleavessssssss-wq/vivado-mcp/tree/main/skills/vivado-cdc-audit into .opencode/skills/vivado-cdc-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "vivado-cdc-audit", 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.
Facts
- Skill name
vivado-cdc-audit- GitHub stars
- 148
- Token cost
- ~528 tokens
- SKILL.md length
- 96 words
- Files
- 1
- Skills in repo
- 5
- Repo updated
- First seen
- Licence
- Apache-2.0
At a glance
使用 vivado-mcp 结构化读取 Vivado CDC 报告，核对跨时钟域的同步结构、协议和约束；支持离线报告审查，不把空报告或零严重项当作完整签核。
- Tasks that involve MCP servers
- SKILL.md covers 获取当前证据, 根据结构与协议定位, 核对约束实际生效 and 复测与交付
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Vivado Cdc Audit is an agent skill from mapleleavessssssss-wq/vivado-mcp. 使用 vivado-mcp 结构化读取 Vivado CDC 报告，核对跨时钟域的同步结构、协议和约束；支持离线报告审查，不把空报告或零严重项当作完整签核。
Its SKILL.md is about 530 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It sits in Agent Workflows, covering MCP servers. It works with Model Context Protocol. The repository describes itself as: Vivado MCP server — 让 Claude Code / Cursor / Codex 驱动本地 FPGA 全流程。30 个精选工具、8 个证据驱动 Prompt、doctor 环境自检、GUI/Tcl/attach 会话，以及时序和 CRITICAL WARNING 中文诊断。 The licence is Apache-2.0.
When your agent uses it
- Tasks that involve MCP servers
Example prompts
- “/vivado-cdc-audit”
Requirements
- Python 3
What it can do on your machine
Read from SKILL.md and the folder at commit 41745b2. 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 python).
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
Vivado Cdc Audit loads about 528 tokens when it runs. Until then it costs about 24 tokens; SKILL.md has 96 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.
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 mapleleavessssssss-wq/vivado-mcp at commit 41745b2, republished under its Apache-2.0 licence (© mapleleavessssssss-wq). 96 words, ~528 tokens.
Download SKILL.mdSave it as
.claude/skills/vivado-cdc-audit/SKILL.md (or your agent's skills folder).- name
- vivado-cdc-audit
- description
- 使用 vivado-mcp 结构化读取 Vivado CDC 报告，核对跨时钟域的同步结构、协议和约束；支持离线报告审查，不把空报告或零严重项当作完整签核。
Vivado CDC 审查
可用入口：get_cdc_report、get_project_info、get_timing_report、get_critical_warnings、run_tcl、safe_tcl。
已有报告时先离线分析，不为了读报告启动工程或构建。现场报告需要在选定会话中打开综合或实现后的设计。CDC 分析关注同步结构；STA 通过不能证明跨域传输正确。
获取当前证据
get_cdc_report(report_file="/work/reports/cdc.rpt", max_details=100)
get_cdc_report(session_id="design", max_details=100)文件应是完整的 report_cdc -details 文本。检查 parse_status、provenance、summary、clock_pairs 和 details_truncated。摘要与逐路径明细不能相加；reported_checks 是报告检查条目数，合并的总线条目不能当作每一位端点。读取时间不等于生成时间；工具不自动保存报告或证明其对应当前 RTL/XDC。
现场用 get_project_info 核对设计和阶段，补充时钟与例外：
run_tcl(command="report_clocks -return_string", session_id="design")
run_tcl(command="report_clock_interaction -return_string", session_id="design")
run_tcl(command="report_exceptions -return_string", session_id="design")将预期的 primary/generated clocks 与实际报告逐一对应。空报告、无跨域路径、缺时钟或只出现一种时钟都不能单独证明 CDC 干净；无时钟时工具也可能打印 “All paths are Safely Timed.”。相关时钟仍需核对具体路径，不能只凭“同源”跳过。
根据结构与协议定位
按 source clock → destination clock → 端点列出严重项，记录报告规则 ID、宽度、协议意图和同步结构。缺明细时补完整报告或查询目标设计，不能从汇总数量推测线路。
- 单 bit 电平检查同步级数及 ASYNC_REG；窄脉冲需确认目的时钟能采到，必要时用握手或脉冲传输结构。
- 总线、FIFO 指针或计数器核对 Gray 编码、稳定窗口或握手。每位各自双触发器不能保证总线一致性。
- 异步复位核对各目的域的同步释放；多个独立同步信号重汇合时检查是否在不同周期到达。
- IP 内部 crossing 结合具体参数与自带约束核对，不凭 IP 名称直接忽略告警。
用户要求修复时继续完成范围内有证据支持的 RTL/XDC 修改；只要求审查时交付发现与方案。一次处理一种根因，保持功能、接口和频率。同步器不足先修结构，约束不会增加同步硬件。
核对约束实际生效
不用 false path 或 waiver 隐藏真实 crossing。例外需提供协议假设、精确端点和影响范围，沿用已有授权；假设不清楚时继续独立调查。默认 CDC 报告可能隐藏已 waiver 项，须另行核对 waiver 与时钟覆盖。
set_clock_groups 优先级高于 set_max_delay -datapath_only，不能重叠使用后声称最大延迟仍有效；尤其检查 XPM/IP 自带约束是否被广泛例外覆盖。set_bus_skew 是独立的路径间约束，需单独取得 report_bus_skew，不能凭 timing summary 或 CDC 数量声称满足。
复测与交付
修改后重跑受影响阶段，重新读取同一组 CDC、clock interaction、exceptions 和 timing 报告；签核需补 post-route、DRC、methodology、约束覆盖及适用 bus-skew 证据。严重项减少时确认原对象仍被覆盖，没有新增隐藏路径。
交付来源与阶段、时钟对/端点、结构与协议证据、变更、复测差异、剩余严重项和未验证内容。verdict.signoff=false 表示本工具不授予完整签核；零严重项也不等于板上可靠。达到请求目标即停止；连续两轮无改善则保留当前证据并重新归因。
© mapleleavessssssss-wq, 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
Just SKILL.md in skills/vivado-cdc-audit of mapleleavessssssss-wq/vivado-mcp.
Open the folder on GitHubat commit 41745b2
Compare with similar skills
Vivado Cdc Audit 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 |
|---|---|---|---|---|---|---|
| Vivado Cdc Audit this skillmapleleavessssssss-wq/vivado-mcp | 148 | — | ~528 | Automated safety check: Pass | Apache-2.0 | |
| MCP Server Builderanthropics/skills | 180k | 63 repos | ~2.3k | Automated safety check: Pass | Apache-2.0 | |
| MCP Server BuildershareAI-lab/learn-claude-code | 78k | 4 repos | ~1.2k | Automated safety check: Pass | MIT | |
| MCP Integration for Pluginsanthropics/claude-plugins-official | 38k | 11 repos | ~3.1k | Automated safety check: Pass | Apache-2.0 | |
| Crush Configurationcharmbracelet/crush | 29k | — | ~3.7k | Automated safety check: Pass | Custom licence | |
| Context Mode Output Sandboxmksglu/context-mode | 26k | — | ~4.1k | Automated safety check: Pass | Custom licence |
Similar skills
- Official
MCP Server Builder
shareAI-lab/learn-claude-code
Walks through building MCP servers in Python or TypeScript that expose tools, resources and prompts to Claude, with templates, registration and testing.
- Official
MCP Integration for Plugins
anthropics/claude-plugins-official
Explains how to bundle Model Context Protocol servers in a Claude Code plugin, covering config files, stdio, SSE, HTTP and WebSocket server types, and authentication.
Crush Configuration
charmbracelet/crush
Explains how to configure the Crush coding agent with crushrc or crush.json, covering providers, models, LSPs, MCP servers, hooks, permissions and config precedence.
Context Mode Output Sandbox
mksglu/context-mode
Routes large command, file, API and browser output through context-mode tools so only the needed result enters the agent's context, instead of dumping it via Bash.
Warp GUI to Agent CLI Migration
warpdotdev/warp
Migrates the compatible subset of settings and global file-based MCP servers from the Warp desktop app into Warp Agent CLI without exposing credentials or state.
More from mapleleavessssssss-wq/vivado-mcp
Vivado Constraints Authoring
mapleleavessssssss-wq/vivado-mcp
为 Vivado 工程建立或审查 XDC 时钟、I/O 延迟和时序例外，依据板级与接口参数验证对象和约束覆盖；不猜引脚、频率或外设时序，不用例外掩盖违例。
Vivado Project Bringup
mapleleavessssssss-wq/vivado-mcp
接管或建立 Vivado FPGA 工程，核对源文件、约束、顶层和构建状态，通过 vivado-mcp 完成请求范围内的综合、实现和产物检查。
Vivado Timing Closure
mapleleavessssssss-wq/vivado-mcp
使用 vivado-mcp 分析 Vivado setup、hold 和脉宽时序，比较保存的基线并按证据迭代修复；支持离线报告分析，不将摘要指标视为完整签核。
Vivado Waveform Debug
mapleleavessssssss-wq/vivado-mcp
使用 vivado-mcp 离线查询 VCD 波形，定位复位、X/Z、信号变化和握手问题；需要新证据时从已选 XSim 仿真导出有限窗口，不把波形查询当测试判定。
Related
Works with
Categories
Questions about Vivado Cdc Audit
What does Vivado Cdc Audit do?
使用 vivado-mcp 结构化读取 Vivado CDC 报告，核对跨时钟域的同步结构、协议和约束；支持离线报告审查，不把空报告或零严重项当作完整签核。. Vivado Cdc Audit is an agent skill from mapleleavessssssss-wq/vivado-mcp.
When should I use Vivado Cdc Audit?
Vivado Cdc Audit fits situations like: tasks that involve MCP servers.
How do I install Vivado Cdc Audit in Claude Code?
Run `npx skills add mapleleavessssssss-wq/vivado-mcp --skill vivado-cdc-audit -a claude-code`. Or copy the skill folder (skills/vivado-cdc-audit in mapleleavessssssss-wq/vivado-mcp) into .claude/skills/vivado-cdc-audit in your project. Claude Code loads it when a task matches its description.
How do I install Vivado Cdc Audit in Codex?
Run `npx skills add mapleleavessssssss-wq/vivado-mcp --skill vivado-cdc-audit -a codex`. Or copy the skill folder (skills/vivado-cdc-audit in mapleleavessssssss-wq/vivado-mcp) into .agents/skills/vivado-cdc-audit in your project. Codex loads it when a task matches its description.
Can I use Vivado Cdc Audit 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 mapleleavessssssss-wq/vivado-mcp --skill vivado-cdc-audit -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/vivado-cdc-audit, .gemini/skills/vivado-cdc-audit, .github/skills/vivado-cdc-audit and .opencode/skills/vivado-cdc-audit in your project.
What does Vivado Cdc Audit need to run?
SKILL.md names no scripts, command-line tools or credentials: Vivado Cdc Audit is instructions for the agent only. Our summary lists: Python 3.
Does Vivado Cdc Audit 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 Vivado Cdc Audit 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 Vivado Cdc Audit use?
Vivado Cdc Audit 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 Vivado Cdc Audit use?
About 528 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 Vivado Cdc Audit?
Skills that share tags, products or a category with Vivado Cdc Audit: MCP Server Builder (anthropics/skills, 180k stars), MCP Server Builder (shareAI-lab/learn-claude-code, 78k stars), MCP Integration for Plugins (anthropics/claude-plugins-official, 38k stars) and Crush Configuration (charmbracelet/crush, 29k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Vivado Cdc Audit?
mapleleavessssssss-wq (a GitHub user) maintains it in mapleleavessssssss-wq/vivado-mcp, which has 148 GitHub stars. The repository holds 5 skills in this directory. The repository was last updated on September 22, 2026.
Source: mapleleavessssssss-wq/vivado-mcp on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.