Agent skill · Audited from source
rtos-debug
skill · leokemp223/embed-ai-toolLicence not declaredAudited 31 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: 当需要进行 FreeRTOS/RT-Thread/Zephyr 的线程感知调试,查看任务列表、栈水位或死锁检测时使用。
Cite
Cite this page
ModelsAtlas. “rtos-debug (leokemp223/embed-ai-tool)”. Retrieved 31 Oct 2026. https://modelsatlas.com/skills/leokemp223/rtos-debug
Trust audit
Audit 0.4.1 · source read 31 Oct 2026
SAFE means nothing in the source contradicts what the skill says it does. Grade B is shared by 16,667 of 17,602 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 · 31 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/rtos-debugThe 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 72 days ago
- Sandboxed runNot runSkills are read, not executed; layer L4 is skipped
What it tells the agent
Full source on GitHub ↗Its description: 当需要进行 FreeRTOS/RT-Thread/Zephyr 的线程感知调试,查看任务列表、栈水位或死锁检测时使用。
--- name: rtos-debug description: 当需要进行 FreeRTOS/RT-Thread/Zephyr 的线程感知调试,查看任务列表、栈水位或死锁检测时使用。 --- # RTOS 调试 ## 适用场景 - 固件运行了 RTOS(FreeRTOS、RT-Thread 或 Zephyr),需要查看任务状态。 - 怀疑任务栈溢出导致 HardFault 或异常行为。 - 需要检测死锁(所有任务都处于等待状态)。 - 需要查看队列、信号量等内核对象状态。 - 需要自动识别固件使用的 RTOS 类型。 ## 必要输入 - 带符号的 `ELF` 文件路径。 - 已运行的 GDB Server(OpenOCD 或 JLinkGDBServer),通过 `--port` 指定 GDB 端口。 - 可选显式指定 RTOS 类型(`--rtos freertos|rt-thread|zephyr`)。 ## 自动探测 - 通过 ELF 符号表自动判断 RTOS 类型:`vTaskStartScheduler` → FreeRTOS,`rt_thread_init` → RT-Thread,`k_thread_create` → Zephyr。 - 不依赖 OpenOCD 的 RTOS awareness 功能,改用 GDB 直接读取 RTOS 内核数据结构。 - FreeRTOS 提供完整支持(任务列表、栈水位、队列),RT-Thread/Zephyr 提供基本任务列表支持。 ## 执行步骤 1. 先阅读 [references/usage.md](references/usage.md) 和 [references/rtos-patterns.md](references/rtos-patterns.md),了解常见 RTOS 问题模式。 2. 确保 GDB Server(OpenOCD 或 JLinkGDBServer)已在运行。 3. 若不确定 RTOS 类型,先运行 [scripts/rtos_debugger.py](scripts/rtos_debugger.py) 的 `--detect` 模式。 4. 使用 `--tasks` 查看任务列表和状态。 5. 使用 `--stack-check` 检查各任务栈水位。 6. 使用 `--deadlock` 检查死锁特征。 7. 使用 `--queues` 查看队列和信号量状态。 ## 失败分流 - 当缺少 GDB 时,返回 `environment-missing`。 - 当没有可用的 `ELF` 时,返回 `artifact-missing`。 - 当 GDB 无法连接到 GDB Server 时,返回 `connection-failure`。 - 当 ELF 中未检测到 RTOS 符号时,返回 `project-config-error`。 - 当 GDB 可以连接但无法读取 RTOS 数据结构时,返回 `target-response-abnormal`。 - 当无法确定 RTOS 类型时,返回 `ambiguous-context`。 ## 平台说明 - 自带脚本使用 Python 标准库和 subprocess 调用 GDB,跨平台兼容。 - GDB Server 需要由用户或上游 skill(`debug-gdb-openocd` 或 `debug-jlink`)预先启动。 - RTOS 数据结构读取依赖 ELF 符号信息,Release 优化可能导致部分符号被优化掉。 ## 输出约定 - 输出检测到的 RTOS 类型和版本(如果可获取)。 - 输出任务列表,包含任务名、状态、优先级和栈使用信息。 - 栈水位低于安全阈值时输出告警。 - 死锁检测结果以明确的是/否形式输出。 - 在 `Project Profile` 中更新 `rtos` 字段。 ## 交接关系 - 当确认栈溢出时,建议使用 `memory-analysis` 分析固件内存布局。 - 当需要更深入的单步调试时,交给 `debug-gdb-openocd` 或 `debug-jlink`。
Excerpt, first 1,767 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/rtos-debug/)
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
当需要解析 .map 文件或 ELF 获取固件内存使用报告、符号大小排名或版本对比时使用。
leokemp223/embed-ai-tool
当需要调试 Modbus RTU(串口)或 Modbus TCP(网络)设备通信时使用,支持寄存器读写、从站扫描和持续监控。
leokemp223/embed-ai-tool
嵌入式开发技能集的总控入口。负责两类任务:(1) 用户请求安装本仓库 skill 时,引导选择全部或按需安装;(2) 用户发出模糊指令(如"烧录"、"编译"、"调试")且无法自动判断应使用哪个具体 skill 时,列出同分类下的候选 skill 供用户选择。
leokemp223/embed-ai-tool
当需要使用已探测或显式指定的产物与探针配置,调用自带脚本通过 OpenOCD 烧录嵌入式固件时使用。
leokemp223/embed-ai-tool
当需要通过 PlatformIO 烧录固件到目标板时使用,利用 platformio.ini 中的上传配置自动完成烧录。
leokemp223/embed-ai-tool
当需要使用 SEGGER J-Link 探针烧录固件,或启动 RTT 日志捕获时使用。
Add this badge to your README
[](https://modelsatlas.com/skills/leokemp223/rtos-debug/)
<a href="https://modelsatlas.com/skills/leokemp223/rtos-debug/"><img src="https://modelsatlas.com/skills/leokemp223/rtos-debug/badge.svg" alt="ModelsAtlas: SAFE B"></a>
Questions about rtos-debug
What does the rtos-debug skill do?
Is rtos-debug safe to install?
What can rtos-debug access on my machine?
How current is this page?
Sources
- github.com/leokemp223/embed-ai-tool/tree/master/skills/rtos-debu — the audited source at commit f2eee4d05246 and every finding aboveObserved · 31 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 rtos-debug skill do?
- Is rtos-debug safe to install?
- What can rtos-debug access on my machine?