Agent skill · Audited from source
flash-keil
skill · leokemp223/embed-ai-toolLicence not declaredAudited 29 Oct 2026 · source f2eee4d05246
Is it safe? Yes — SAFE, grade B (89/100). We read this skill's source at commit f2eee4d05246 and found no filesystem, network or shell access and no hard-coded secrets. What it does: 当需要通过 Keil MDK 内置调试器烧录固件到目标板时使用,利用工程中已配置的调试器和 Flash 算法执行下载。
Cite
Cite this page
ModelsAtlas. “flash-keil (leokemp223/embed-ai-tool)”. Retrieved 29 Oct 2026. https://modelsatlas.com/skills/leokemp223/flash-keil
Trust audit
Audit 0.4.1 · source read 29 Oct 2026
SAFE means nothing in the source contradicts what the skill says it does. Grade B is shared by 13,985 of 14,816 audited skills.
What the source does
- FilesystemNone observedNo reads or writes in the source
- NetworkNone observedNo outbound calls in the source
- ShellNone observedNo commands run in the source
- DependenciesPinnedNothing floats
- SecretsNone foundNo keys in source
Five audit layers
| Layer | What we check | Result | Findings |
|---|---|---|---|
L0 Provenance | Repo owner, licence, archive status, activity | PASS | 1 |
L1 Static source | Secrets, path traversal, supply chain, hidden code | PASS | 0 |
L2 Instructions | Prompt injection, authority framing, hidden directives | PASS | 0 |
L3 Inventory | The files and declarations match the source | PASS | 0 |
L4 Sandbox | Run in isolation and watch behaviour | SKIPPED why | 0 |
Gates applied: no behavioural pass, no license.
Findings (1)
LOWInventory / provenanceinv.no_license
- Why
- no LICENSE file and no repo licence
- Fix
- add a licence
Audit 0.4.1 · source sha f2eee4d05246 · 29 Oct 2026Report an issue or request a re-scan
Provenance
Who published it, and what the verdict is pinned to
- Publisherleokemp223 GitHub userOwner of the repository this skill is read from
- Source folderleokemp223/embed-ai-tool/skills/flash-keilThe exact folder we audited
- LicenceNot declaredAs the repository states it
- Commit pinned for this verdictf2eee4d05246A new audit runs when the source changes
- Repository statusNot archivedLast push 70 days ago
- Sandboxed runNot runSkills are read, not executed; layer L4 is skipped
What it tells the agent
Full source on GitHub ↗Its description: 当需要通过 Keil MDK 内置调试器烧录固件到目标板时使用,利用工程中已配置的调试器和 Flash 算法执行下载。
--- name: flash-keil description: 当需要通过 Keil MDK 内置调试器烧录固件到目标板时使用,利用工程中已配置的调试器和 Flash 算法执行下载。 --- # Keil MDK 烧录 ## 适用场景 - `Project Profile` 中标明 `build_system: keil` 或工作区中存在 `.uvprojx` / `.uvproj` 文件。 - 用户希望将编译产物烧录到目标板,且工程已在 Keil 中配置好调试器(ST-Link、J-Link、CMSIS-DAP 等)。 - 不需要额外安装 OpenOCD,直接使用 Keil MDK 内置的 Flash Download 功能。 ## 必要输入 - `.uvprojx` / `.uvproj` 工程文件路径(或从 `Project Profile` 获取)。 - 可选的构建目标名称和 UV4.exe 路径。 ## 自动探测 - 脚本启动即自动复用工程根目录 `.em_skill.json` 中上次成功的 profile 作为默认参数(显式参数优先,无需先手动传 `--resume`);`--resume` 仅用于断言缓存必须存在,无缓存则非零退出。无缓存或用户明确要求重新探测时,脚本自动回退到正常扫描。 - 复用 `build-keil` 的 UV4.exe 探测逻辑(配置文件 → 环境变量 → 常见路径 → PATH)。 - 解析工程 XML 中的 `<DriverSelection>` 识别调试器类型(ST-Link、J-Link、CMSIS-DAP、ULINK)。 - 若未指定目标,默认使用工程中的第一个 Target。 ## 执行步骤 1. 先阅读 [references/usage.md](references/usage.md),确认本次操作。 2. 对于常见场景,直接一次调用完成探测+烧录: ```bash python scripts/keil_flasher.py --detect --flash --project <工程文件> --target <目标名> ``` 3. 读取脚本输出的烧录结果报告,关注成功/失败状态、调试器类型和日志证据。 4. 将烧录结果写回 `Project Profile`,推荐下一步 skill。 ## 失败分流 - `environment-missing`:Keil MDK 未安装或 UV4.exe 不可用。 - `connection-failure`:调试器连接失败(USB 未连接、驱动问题、目标板未上电)。 - `project-config-error`:工程文件中的 Flash 配置无效或目标名不存在。 ## 平台说明 - Keil MDK 烧录仅在 Windows 上支持。 - 烧录使用工程中已配置的调试器和 Flash 算法,无需额外配置。 - 烧录日志可能包含 GBK 编码字符,脚本自动处理多种编码。 ## 输出约定 脚本执行完成后,必须将以下关键信息提取并呈现给用户: - 烧录状态(成功/失败) - 工程文件和目标名 - 芯片型号(如 STM32F103RC) - 调试器类型(如 ST-Link、J-Link) - 烧录固件路径和大小(如 Demo02.axf, 519.6 KB) - 烧录完成时间 - 若失败:失败分类和日志证据 示例输出格式: ``` 烧录成功 ✅ 工程: Demo02.uvprojx → 目标: Demo02 芯片: STM32F103RC | 调试器: ST-Link 固件: Demo02.axf (519.6 KB) 状态: Erase Done → Programming Done → Verify OK → Application running ``` - 成功后推荐 `serial-monitor`(查看串口输出)或 `debug-gdb-openocd`(在线调试)。 - 失败时输出失败分类和日志证据,帮助用户定位问题。 ## 交接关系 - 从 `build-keil` 接收编译成功的工程信息。 - 烧录成功后交给 `serial-monitor`(查看串口输出)或 `debug-gdb-openocd`(在线调试)。
Excerpt, first 1,834 characters of SKILL.md, verbatim from the audited commit. It is text from someone else’s repository, quoted so you can judge it before your agent reads it.
Install
Pinned to the audited commit f2eee4d
git clone https://github.com/leokemp223/embed-ai-tool git -C embed-ai-tool checkout f2eee4d05246
The author documents no install command, so this uses the repository directly. Our verdict covers commit f2eee4d05246 only.
Works in
The author has not said which agents this skill supports, and we have not tested it in any.
Audit history
Every audit, every source change
- ✓SAFE B 89 / 100
first audit · source
f2eee4d05246
README badge
For maintainers · shows the latest audit
[](https://modelsatlas.com/skills/leokemp223/flash-keil/)
The badge shows our verdict and grade for this skill, and links back to this page. It changes when the audit does.
Similar skills
All coding & review skills →leokemp223/embed-ai-tool
当需要使用 SEGGER J-Link 探针烧录固件,或启动 RTT 日志捕获时使用。
leokemp223/embed-ai-tool
当需要通过 ESP-IDF 工具链烧录固件到 ESP32 系列芯片,或启动调试会话时使用。
leokemp223/embed-ai-tool
当需要通过 J-Link GDB Server 启动或附着 GDB 会话,完成固件下载、在线调试或崩溃现场检查时使用。
leokemp223/embed-ai-tool
当需要通过 PlatformIO 内置调试功能对目标板进行 GDB 调试时使用,支持下载暂停、附加和崩溃现场分析。
leokemp223/embed-ai-tool
当需要通过 OpenOCD 启动或附着 GDB 会话,调用自带脚本完成固件下载、在线调试或崩溃现场检查时使用。
leokemp223/embed-ai-tool
当需要调试 CAN 总线通信时使用,支持通过 USB-CAN 适配器监听、发送 CAN 帧和扫描节点。
Add this badge to your README
[](https://modelsatlas.com/skills/leokemp223/flash-keil/)
<a href="https://modelsatlas.com/skills/leokemp223/flash-keil/"><img src="https://modelsatlas.com/skills/leokemp223/flash-keil/badge.svg" alt="ModelsAtlas: SAFE B"></a>
Questions about flash-keil
What does the flash-keil skill do?
Is flash-keil safe to install?
What can flash-keil access on my machine?
How current is this page?
Sources
- github.com/leokemp223/embed-ai-tool/tree/master/skills/flash-kei — the audited source at commit f2eee4d05246 and every finding aboveObserved · 29 Oct 2026
Spotted something wrong? Report a correction · Methodology
Keep going in your AI
Opens with this page as the source. We add nothing else to the prompt.
- What does the flash-keil skill do?
- Is flash-keil safe to install?
- What can flash-keil access on my machine?