Agent skill · Audited from source

flash-keil

skill · leokemp223/embed-ai-toolLicence not declaredAudited 29 Oct 2026 · source f2eee4d05246

★ 1,045pushed 70 days ago
✓SAFEGrade B · 89/100 · 29 Oct 2026 · f2eee4d
1,045repo stars · whole leokemp223/embed-ai-tool

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 算法执行下载。

Ask an AI about this pageGChatGPTCClaudePPerplexityGeGeminiXGrok
More
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

Trust score89/100✓SAFE B
0 critical0 high0 medium1 low0 info

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

LayerWhat we checkResultFindings
L0 ProvenanceRepo owner, licence, archive status, activityPASS1
L1 Static sourceSecrets, path traversal, supply chain, hidden codePASS0
L2 InstructionsPrompt injection, authority framing, hidden directivesPASS0
L3 InventoryThe files and declarations match the sourcePASS0
L4 SandboxRun in isolation and watch behaviourSKIPPED why0

Gates applied: no behavioural pass, no license.

Findings (1)

LOWInventory / provenanceinv.no_license
F-13 Inventory / provenanceCWE-1104Layer L0
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

Download folder ↗
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

  1. ✓SAFE B 89 / 100

    first audit · source f2eee4d05246

README badge

For maintainers · shows the latest audit

ModelsAtlas: SAFE BMODELSATLASSAFE · B
[![ModelsAtlas: SAFE B](https://modelsatlas.com/skills/leokemp223/flash-keil/badge.svg)](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.

Add this badge to your README

[![ModelsAtlas: SAFE B](https://modelsatlas.com/skills/leokemp223/flash-keil/badge.svg)](https://modelsatlas.com/skills/leokemp223/flash-keil/)

Questions about flash-keil

What does the flash-keil skill do?
面向 AI 编程助手的嵌入式开发技能集,为大模型提供 MCU 固件开发全流程能力。涵盖多工具链构建(Keil / IAR / CMake / PlatformIO)、烧录、GDB 调试、串口监视、Modbus / CAN / VISA 协议调试、外设驱动适配及流水线编排,支持 Linux、macOS、Windows 三平台。
Is flash-keil safe to install?
The audit found nothing in the source that contradicts what it says it does, and graded it B (89/100). Grade A is held back for packages that have also passed a sandboxed behavioural run, which is why a clean skill reads B.
What can flash-keil access on my machine?
The audit observed no filesystem, network or shell use at all in its source.
How current is this page?
The grade is for one exact copy of the source (f2eee4d05246), read on 2026-10-29. The repository is watched, and a new audit runs when it changes — this is the first audit.

Sources

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.