Agent-facing MCP server for safe, structured Vivado Project Mode PL workflows
View on GitHub ↗面向 AMD Vivado 的 MCP server。它让支持 MCP 的 Agent 通过结构化、受策略约束的工具执行无板卡 Vivado Project Mode PL 开发流程，并保留可诊断、可复现的工程证据。
项目 当前口径 ------ 软件成熟度 Alpha，适合研究、开发和受监督试用 Python 包版本 0.10.0 受信任执行策略 精确 2021.2，其它版本 fail-closed 公开 commit-bound Live qualification 源提交 4bfd3db 为 qualified；后续提交不自动继承 操作系统 Windows 主要范围 纯 RTL/XDC 的 Vivado Project Mode 无板卡软件闭环 真实 FPGA/JTAG 验证 NOTVALIDATED
公开源码不代表当前版本已达到无人监督生产部署标准。当前支持范围、安全边界和已知限制以本 README 与 SECURITY.md 为准。
能力 实现状态 当前验证证据 --------- MCP stdio、工具发现、结构化响应 已实现 单元测试、stdio 契约测试、GitHub Actions 本地 Vivado GUI 与认证 Tcl 通道 已实现 fake-session；4bfd3db commit-bound Vivado 2021.2 qualification record 工程、fileset、top、语言、compile order 已实现 单元测试、stateful fake-session workflow；已有工程 per-file 语义重建通过本地 Vivado 2021.2 定向 smoke XSIM behavioral simulation 与失败诊断 已实现 解析/安全回归；4bfd3db 的 S01 真实 XSIM 软件资格记录，公开普通 CI 不启动 Vivado synthesis、implementation、bitstream 已实现受管调用和结果解析 fake-session、场景 runner；4bfd3db 的真实 Vivado 2021.2 S01 软件资格记录 timing、utilization、DRC、QoR、CDC、power 已实现报告生成和解析接口 fixtures、单元测试；4bfd3db 的 report/signoff/audit evidence digest artifact、signoff、audit、diagnostic handoff 已实现 契约测试、场景 runner、bundle 完整性与新鲜度校验；4bfd3db qualification evidence Hardware Manager、JTAG、烧录、ILA/VIO 实验接口，默认关闭 仅负路径和门禁测试；真实硬件 NOTVALIDATED
GitHub Actions 的绿色状态证明 Python、MCP 契约和发行物安装链路。仓库公开保存源提交 4bfd3dbba05dc5fab9cdb048776a70de6d75f731 的 commit-bound Vivado 2021.2 qualification record；该记录来自维护者 self-hosted Windows 环境，不表示普通 GitHub-hosted Runner 安装了 Vivado。任何后续 commit 都必须生成自己的 record，不能继承 4bfd3db 的资格；软件 qualification 也不表示真实 FPGA 硬件通过。
From the project README.
Add the radar badge to your README — it shows your project was picked up by MCP Radar and links to this page:
[](https://mcp.liqiwa.com/s/zzszzs-lll--vivado-agent-mcp.html)
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is
zhuyansen/new-term-radarDaily radar for new AI terms: names of new models, products and repos, caught on X, Hugging Face, GitHub and sitemaps before keyword tools list them.
yzg1226/mcd-party-officer🍟 麦当劳门店派对成团调度 Skill — 把派对从「策划」推进到「办得成」：成团概率雷达 / 包场vs拼团 / 择日黄历 / 儿童营养指数 / 招募卡与邀请函
fellowgeek/mcp-memoryAn OKF-backed Model Context Protocol (MCP) server delivering persistent long-term memory and SQLite FTS5 search for AI agents.
hirotomasato/yowesGenerate realistic teacher documents (ID cards, licenses, letters) for 13 countries via MCP.
hujjun/mcd-saver-strategist麦当劳省钱点餐助手（麦门精算师）｜麦当劳优惠券组合优化 Skill：拉取麦当劳菜单与全部可用优惠券，算出最省的点餐组合，巨无霸套餐 ¥47 → ¥21.9（省 53%）。McDonalds MCP（麦当劳 MCP）coupon optimizer · McDonalds China MCP Server · Agent Skill for WorkBuddy · 麦当劳程序员创意开发大赛参赛作品
The top new MCP servers of the week, every Monday. No spam, unsubscribe anytime.