Agent skill

Axiom Explainer

生成面向学生的公理/定理深度讲解文案，输出图文并茂的 Markdown 文章。触发条件：用户输入一个观点、公理、定理或数学/科学/哲学命题，并希望获得系统性讲解文章。关键词包括："讲解"、"解释"、"公理"、"定理"、"原理"、"推导"、"怎么来的"、"有什么用"、"证明"等。即使用户只说"帮我讲讲XX定理"或"解释一下XX原理"，也应使用本 skill。输出保存到项目 markdown/…

GPL-2.0Auto-check passedDevelopment

Install Axiom Explainer

skills CLI

$ npx skills add digoal/blog --skill axiom-explainer -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI

$ gh skill install digoal/blog axiom-explainer --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy

$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/skills_for_claude_web/axiom-explainer .claude/skills/axiom-explainer && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Paste into Claude Code

Install the "axiom-explainer" agent skill from https://github.com/digoal/blog/tree/master/skills/skills_for_claude_web/axiom-explainer into .claude/skills/axiom-explainer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "axiom-explainer", then confirm the skill loads.

Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

$skill-installer

$skill-installer install https://github.com/digoal/blog/tree/master/skills/skills_for_claude_web/axiom-explainer

Type this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.

skills CLI

$ npx skills add digoal/blog --skill axiom-explainer -a codex

Project install goes to .agents/skills/; add -g for ~/.codex/skills/.

GitHub CLI

$ gh skill install digoal/blog axiom-explainer --agent codex

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/skills_for_claude_web/axiom-explainer .agents/skills/axiom-explainer && rm -rf skills-src

Use ~/.agents/skills/ instead of .agents/skills for a personal install.

Codex skills documentation · loads skills from .agents/skills/

Paste into Codex

Install the "axiom-explainer" agent skill from https://github.com/digoal/blog/tree/master/skills/skills_for_claude_web/axiom-explainer into .agents/skills/axiom-explainer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "axiom-explainer", then confirm the skill loads.

Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

skills CLI

$ npx skills add digoal/blog --skill axiom-explainer -a cursor

Project install goes to .agents/skills/; add -g for ~/.cursor/skills/.

GitHub CLI

$ gh skill install digoal/blog axiom-explainer --agent cursor

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/skills_for_claude_web/axiom-explainer .cursor/skills/axiom-explainer && rm -rf skills-src

Use ~/.cursor/skills/ instead of .cursor/skills for a personal install.

Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/

Paste into Cursor

Install the "axiom-explainer" agent skill from https://github.com/digoal/blog/tree/master/skills/skills_for_claude_web/axiom-explainer into .cursor/skills/axiom-explainer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "axiom-explainer", then confirm the skill loads.

Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

gemini skills install

$ gemini skills install https://github.com/digoal/blog.git --path skills/skills_for_claude_web/axiom-explainer

--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.

skills CLI

$ npx skills add digoal/blog --skill axiom-explainer -a gemini-cli

Project install goes to .agents/skills/; add -g for ~/.gemini/skills/.

GitHub CLI

$ gh skill install digoal/blog axiom-explainer --agent gemini-cli

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/skills_for_claude_web/axiom-explainer .gemini/skills/axiom-explainer && rm -rf skills-src

Use ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.

Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/

Paste into Gemini CLI

Install the "axiom-explainer" agent skill from https://github.com/digoal/blog/tree/master/skills/skills_for_claude_web/axiom-explainer into .gemini/skills/axiom-explainer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "axiom-explainer", then confirm the skill loads.

Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

GitHub CLI

$ gh skill install digoal/blog axiom-explainer

Installs for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).

skills CLI

$ npx skills add digoal/blog --skill axiom-explainer -a github-copilot

Project install goes to .agents/skills/; add -g for ~/.copilot/skills/.

Manual copy

$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/skills_for_claude_web/axiom-explainer .github/skills/axiom-explainer && rm -rf skills-src

Use ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.

GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/

Paste into GitHub Copilot

Install the "axiom-explainer" agent skill from https://github.com/digoal/blog/tree/master/skills/skills_for_claude_web/axiom-explainer into .github/skills/axiom-explainer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "axiom-explainer", then confirm the skill loads.

GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

skills CLI

$ npx skills add digoal/blog --skill axiom-explainer -a opencode

OpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.

GitHub CLI

$ gh skill install digoal/blog axiom-explainer --agent opencode

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/skills_for_claude_web/axiom-explainer .opencode/skills/axiom-explainer && rm -rf skills-src

Use ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.

OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/

Paste into OpenCode

Install the "axiom-explainer" agent skill from https://github.com/digoal/blog/tree/master/skills/skills_for_claude_web/axiom-explainer into .opencode/skills/axiom-explainer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "axiom-explainer", then confirm the skill loads.

OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

Facts

Skill name: axiom-explainer
GitHub stars: 8.6k
Token cost: ~626 tokens
SKILL.md length: 136 words
Files: 1
Skills in repo: 98
Repo updated: Oct 9, 2026
First seen: Oct 7, 2026
Licence: GPL-2.0

At a glance

Works in 5 steps: 通俗优先：优先用生活类比，数学公式是辅助，不是主体 → 有温度：讲历史背景和人物故事，定理不是天上掉下来的 → 启发式：多用"你有没有想过……"、"如果……会怎样"引发思考 → …
Tasks that involve Diagrams
SKILL.md covers 目标, 输入, 输出规格 and 文章结构模板, plus 4 more sections
Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Axiom Explainer is an agent skill from digoal/blog. 生成面向学生的公理/定理深度讲解文案，输出图文并茂的 Markdown 文章。触发条件：用户输入一个观点、公理、定理或数学/科学/哲学命题，并希望获得系统性讲解文章。关键词包括："讲解"、"解释"、"公理"、"定理"、"原理"、"推导"、"怎么来的"、"有什么用"、"证明"等。即使用户只说"帮我讲讲XX定理"或"解释一下XX原理"，也应使用本 skill。输出保存到项目 markdown/ 目录，文章结构涵盖求真讲法、求存讲法、思考三大核心板块，并包含 SVG/Mermaid/ASCII 图表辅助理解。

Its SKILL.md is about 630 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Development, covering Diagrams and Markdown. It works with Mermaid. The repository describes itself as: AI,Opensource,Database,Business,Finance,Minds. git clone --depth 1 https://github.com/digoal/blog. The licence is GPL-2.0.

When your agent uses it

Tasks that involve Diagrams
Tasks that involve Markdown

Example prompts

“等。即使用户只说”
“解释一下XX原理”
“/axiom-explainer”

Workflow steps

5 steps, taken from the first numbered list in SKILL.md.

通俗优先：优先用生活类比，数学公式是辅助，不是主体
有温度：讲历史背景和人物故事，定理不是天上掉下来的
启发式：多用"你有没有想过……"、"如果……会怎样"引发思考
批判性：正例和反例同等重要，培养"条件意识"
简洁：每个板块重点突出，避免堆砌

What it can do on your machine

Read from SKILL.md and the folder at commit ad6fcb7. It shows what the files ask for, not the result of running them.

Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Axiom Explainer loads about 626 tokens when it runs. Until then it costs about 68 tokens; SKILL.md has 136 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it: ~68
When it runs · the whole SKILL.md, loaded when a task matches: ~626

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from digoal/blog at commit ad6fcb7, republished under its GPL-2.0 licence (© digoal). 136 words, ~626 tokens.

Download SKILL.mdSave it as .claude/skills/axiom-explainer/SKILL.md (or your agent's skills folder).

name: axiom-explainer
description: 生成面向学生的公理/定理深度讲解文案，输出图文并茂的 Markdown 文章。触发条件：用户输入一个观点、公理、定理或数学/科学/哲学命题，并希望获得系统性讲解文章。关键词包括："讲解"、"解释"、"公理"、"定理"、"原理"、"推导"、"怎么来的"、"有什么用"、"证明"等。即使用户只说"帮我讲讲XX定理"或"解释一下XX原理"，也应使用本 skill。输出保存到项目 markdown/ 目录，文章结构涵盖求真讲法、求存讲法、思考三大核心板块，并包含 SVG/Mermaid/ASCII 图表辅助理解。

Axiom Explainer — 公理/定理讲解文案生成 Skill

目标

将任意一个观点、公理或定理，转化为一篇面向学生、通俗易懂、图文并茂的 Markdown 深度讲解文章，保存到项目的 markdown/ 目录。

输入

一个观点、公理、定理、原理或命题（中文/英文均可）
可选：目标读者年级（默认：高中～大学阶段）

输出规格

格式：Markdown（.md）
文件名：{主题拼音或英文}.md，例如 pythagorean_theorem.md
保存路径：markdown/（不存在则创建）
图表要求：每篇文章必须包含至少 2 种可视化（SVG、Mermaid 流程图、ASCII art、文字图表任选）

文章结构模板

严格按照以下结构生成文章，禁止跳过任何板块：

# {公理/定理名称}

> 一句话核心摘要

---

## 🔍 求真讲法：这个定理从哪里来？

### 背景与动机
（是什么问题促使人们发现/提出这个定理？讲故事，有温度）

### 核心假设
（用加粗+列表清晰列出所有前提假设，类比爱因斯坦相对论依赖"光速不变"）

### 推导过程
（用图表 + 分步文字，带读者走一遍推导路径；数学公式用 LaTeX，复杂步骤用 Mermaid 流程图或 SVG 说明）

### 直觉理解
（给出一个非数学的直觉类比，让不懂数学的人也能感受到这个定理的"味道"）

---

## 🛠️ 求存讲法：这个定理能做什么？

### 核心用途
（在它诞生的领域里有什么作用？）

### 跨领域迁移
（从原始领域出发，展示如何把这个定理的思想迁移到其他熟知领域；用 Mermaid 图展示迁移路径）

### 适用边界（假设再探）
（定理成立的条件/范围；用表格或图清晰标注"在这里成立，在那里不成立"）

### ✅ 正例：生活/学习/工作中的运用
（3～5 个具体例子，从身边事出发，逐步引导学生发现这个定理无处不在；每个例子配简短图示）

### ❌ 反例：假设不成立时会怎样？
（2～3 个反例，展示当前提假设被破坏时，结论如何失效；引导批判性思维）

---

## 💡 思考：值得深究的问题

（3～5 个发人深省的开放性问题，引导读者自主探索；从"如果……会怎样"或"为什么……"出发）

---

## 📚 延伸阅读
（可选：推荐 1～3 个延伸资源或相关定理）

图表使用指南

根据内容类型选择合适的图表形式：

内容类型	推荐图表形式
推导步骤/逻辑链	Mermaid flowchart
几何/空间关系	SVG 图形
数值对比/范围	ASCII 表格或 SVG 条形图
知识迁移路径	Mermaid graph TD
正反例对比	Markdown 表格
直觉类比	ASCII art 或简单 SVG

SVG 图示规范：

viewBox 统一使用 0 0 600 300（宽幅）或 0 0 400 400（方形）
使用简洁线条，不超过 30 个元素
必须包含文字标注

Mermaid 规范：

用 ```mermaid 代码块包裹
优先使用 flowchart TD（从上到下）或 graph LR（从左到右）
节点文字简洁，不超过 15 个汉字

写作风格要求

通俗优先：优先用生活类比，数学公式是辅助，不是主体
有温度：讲历史背景和人物故事，定理不是天上掉下来的
启发式：多用"你有没有想过……"、"如果……会怎样"引发思考
批判性：正例和反例同等重要，培养"条件意识"
简洁：每个板块重点突出，避免堆砌

执行步骤

理解输入：识别是公理、定理还是原理；判断所属领域（数学、物理、哲学、经济学等）
研究准备：在脑海中梳理该定理的历史背景、推导逻辑、应用场景
创建目录：确保 markdown/ 目录存在（mkdir -p markdown）
生成文章：严格按照模板结构生成，确保每个板块都有实质内容
插入图表：至少插入 2 种不同类型的图表
保存文件：写入 markdown/{文件名}.md
呈现结果：用 present_files 工具展示文件给用户

质量检查清单

生成完毕后，确认以下所有项目：

包含"求真讲法"板块，且有明确列出核心假设
包含推导过程（哪怕是直觉推导）
包含"求存讲法"板块，有跨领域迁移内容
正例 ≥ 3 个，反例 ≥ 2 个
包含"思考"板块，问题 ≥ 3 个
图表 ≥ 2 种不同形式
文章面向学生，语言通俗无过度术语堆砌
文件已保存到 markdown/ 目录

Files

Just SKILL.md in skills/skills_for_claude_web/axiom-explainer of digoal/blog.

Open the folder on GitHubat commit ad6fcb7

Compare with similar skills

Axiom Explainer next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Axiom Explainer compared with similar skills
Skill	Stars	Used in	Tokens	Auto-check	Licence	Repo updated
Axiom Explainer this skilldigoal/blog	8.6k	—	~626	Automated safety check: Pass	GPL-2.0	today
Chatbot Mvp Distillationpdsuwwz/chatgpt-vue3-light-mvp	578	—	~722	Automated safety check: Pass	MIT	2 mo ago
Chatbot Mvp Distillation Zhpdsuwwz/chatgpt-vue3-light-mvp	578	—	~414	Automated safety check: Pass	MIT	2 mo ago
Markdown Mermaid WritingK-Dense-AI/scientific-agent-skills	48k	1 repos	~4.2k	Automated safety check: Notes	Apache-2.0	4 days ago
Wiki Ado Convertmicrosoft/skills	3.1k	—	~2.3k	Automated safety check: Pass	MIT	today
Markdown Mermaid Writingneflibata-feng/MyArxiv-Agent	126	5 repos	~3.8k	Automated safety check: Notes	Apache-2.0	today

Similar skills

Chatbot Mvp Distillation
pdsuwwz/chatgpt-vue3-light-mvp
Distill the chatgpt-vue3-light-mvp project into reusable architecture for building similar ChatGPT-style web products in other repositories.
578 GitHub stars~722 tokensUpdated 2 mo ago
DevelopmentAuto-check passed
Chatbot Mvp Distillation Zh
pdsuwwz/chatgpt-vue3-light-mvp
将 chatgpt-vue3-light-mvp 项目蒸馏为可迁移到其他项目的中文架构指南。适用于设计或实现类似 ChatGPT 的 Web 对话产品，包括 SSE/fetch 流式响应、模型适配器契约、打字机渲染、Markdown/代码/KaTeX/Mermaid 渲染、推理过程展示，以及从本 Vue 3 MVP 迁移到其他项目的方案规划。
578 GitHub stars~414 tokensUpdated 2 mo ago
DevelopmentAuto-check passed
Markdown Mermaid Writing
K-Dense-AI/scientific-agent-skills
Writes scientific Markdown documentation and Mermaid diagrams for workflows, relationships, timelines, and schemas.
48k GitHub starsUsed in 1 repo~4.2k tokens
DevelopmentAuto-check: notes
Wiki Ado Convert
microsoft/skills
Official
Converts VitePress/GFM wiki markdown to Azure DevOps Wiki-compatible format.
3.1k GitHub stars~2.3k tokensUpdated today
DevelopmentAuto-check passed
Markdown Mermaid Writing
neflibata-feng/MyArxiv-Agent
Comprehensive markdown and Mermaid diagram writing skill that establishes text-based diagrams as the DEFAULT documentation standard.
126 GitHub starsUsed in 5 repos~3.8k tokens
DevelopmentAuto-check: notes
Bm Md
miantiao-me/bm.md
使用 bm.md 写作、改写、排版或渲染 Markdown；生成 Mermaid 与 AntV Infographic，设置图片尺寸、高亮重点，以及执行 HTML/纯文本转换和 Markdown lint
617 GitHub stars~2.1k tokensUpdated 9 days ago
Media & CreativeAuto-check passed

Questions about Axiom Explainer

What does Axiom Explainer do?

When should I use Axiom Explainer?

Axiom Explainer fits situations like: tasks that involve Diagrams; tasks that involve Markdown.

How do I install Axiom Explainer in Claude Code?

Run `npx skills add digoal/blog --skill axiom-explainer -a claude-code`. Or copy the skill folder (skills/skills_for_claude_web/axiom-explainer in digoal/blog) into .claude/skills/axiom-explainer in your project. Claude Code loads it when a task matches its description.

How do I install Axiom Explainer in Codex?

Run `npx skills add digoal/blog --skill axiom-explainer -a codex`. Or copy the skill folder (skills/skills_for_claude_web/axiom-explainer in digoal/blog) into .agents/skills/axiom-explainer in your project. Codex loads it when a task matches its description.

Can I use Axiom Explainer in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add digoal/blog --skill axiom-explainer -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/axiom-explainer, .gemini/skills/axiom-explainer, .github/skills/axiom-explainer and .opencode/skills/axiom-explainer in your project.

What does Axiom Explainer need to run?

SKILL.md names no scripts, command-line tools or credentials: Axiom Explainer is instructions for the agent only.

Does Axiom Explainer access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Axiom Explainer safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Axiom Explainer use?

Axiom Explainer is published under the GPL-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Axiom Explainer use?

About 626 tokens (SKILL.md is roughly 2.5k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Axiom Explainer?

Skills that share tags, products or a category with Axiom Explainer: Chatbot Mvp Distillation (pdsuwwz/chatgpt-vue3-light-mvp, 578 stars), Chatbot Mvp Distillation Zh (pdsuwwz/chatgpt-vue3-light-mvp, 578 stars), Markdown Mermaid Writing (K-Dense-AI/scientific-agent-skills, 48k stars) and Wiki Ado Convert (microsoft/skills, 3.1k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Axiom Explainer?

digoal (a GitHub user) maintains it in digoal/blog, which has 8,586 GitHub stars. The repository holds 98 skills in this directory. The repository was last updated on October 9, 2026.

Source: digoal/blog on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.

Install Axiom Explainer

Facts

At a glance

What it does

When your agent uses it

Example prompts

Workflow steps

What it can do on your machine

Tool permissions

Runs code

Network

Credentials

Context cost

Safety

SKILL.md

Axiom Explainer — 公理/定理讲解文案生成 Skill

目标

输入

输出规格

文章结构模板

图表使用指南

写作风格要求

执行步骤

质量检查清单

Files

Compare with similar skills

Similar skills

More from digoal/blog

Related

Questions about Axiom Explainer