Live survey304 models · 14 providers · 22,792 auditsAudited grill-with-docs · SAFE →What changedHow we verifyllms.txt

Agent skill · Audited from source

rtos-debug

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

★ 1,053pushed 72 days ago
✓SAFEGrade B · 89/100 · 31 Oct 2026 · f2eee4d
1,053repo 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: 当需要进行 FreeRTOS/RT-Thread/Zephyr 的线程感知调试,查看任务列表、栈水位或死锁检测时使用。

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

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 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

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 · 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

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/rtos-debug/badge.svg)](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.

Add this badge to your README

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

Questions about rtos-debug

What does the rtos-debug skill do?
面向 AI 编程助手的嵌入式开发技能集,为大模型提供 MCU 固件开发全流程能力。涵盖多工具链构建(Keil / IAR / CMake / PlatformIO)、烧录、GDB 调试、串口监视、Modbus / CAN / VISA 协议调试、外设驱动适配及流水线编排,支持 Linux、macOS、Windows 三平台。
Is rtos-debug 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 rtos-debug 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-31. 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.