Skill Claude CodeCodex
Use when converting a public webpage URL into clean Markdown content.
Skill Claude CodeCodex
Use when converting a public webpage URL into clean Markdown content.
Skill Claude CodeCodex
Use when integrating, porting, configuring, or debugging XMODEM or YMODEM serial transfer, bootloader firmware update, CRC, packet timeout, or flash-write flows.
Skill Claude CodeCodex
Use when integrating, porting, configuring, or debugging Zephyr RTOS, west builds, devicetree overlays, Kconfig, drivers, threads, logging, networking, or board support.
Skill Claude CodeCodex
Use when integrating, porting, configuring, or debugging an embedded zoom-shell style command console, UART CLI, command parser, or tiny MCU shell.
Skill Claude CodeCodex
Use when an agent needs to perform a specific repeatable task in a specific context.
Skill Claude CodeCodex
Use when asked to proofread, review, or 校对 code or documents for correctness, logical consistency, or quality issues. Covers general code logic review (any language), plus formal-verification backends for C (ACSL contracts via Frama-C static proof and E-ACSL runtime checks), Python (icontract + CrossHair), Rust (Kani…
MCP server Claude CodeCodexCursor +2
MCP server "aix-mcp-server" as configured in easyzoom/aix-mcp-server. Runs locally from the aix-mcp-server npm package.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: