メニュー
Typst (.typ) document assistant for creation, layout debugging, compilation, and format conversion. Use this skill whenever (1) user mentions "Typst", ".typ files", or Typst syntax patterns (#figure,
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Use when the user wants to search Censys, write CenQL queries, investigate IPs/domains/certs, pivot from one asset to related infrastructure, hunt threats, or aggregate internet data. Triggers on: "search censys", "look up this IP", "find hosts running X", "pivot from this cert", "what else does this org own", "censeye", "censys aggregate", or any internet recon/threat hunting task — even if the user doesn't say "censys" explicitly.
Store, retrieve, and reflect on agentic memories via the Hindsight API. Use for persistent cross-session memory — conversation history, fact recall, memory-grounded answers, per-user memory banks. Triggers: remember: , retain/recall/reflect, agent memory, or storing document knowledge in a searchable memory store.
Search the web with Exa's neural search API via curl. Use when the user wants to search the web, fetch clean page contents from URLs, or get an LLM answer with citations — including triggers like "exa", "search the web", "look this up", "latest on", or factual questions needing fresh sources. Auth via `op` CLI (`op://infra/exa/token`).
Automate Google NotebookLM to generate AI podcasts, audio overviews, study guides, FAQs, briefing docs, and deep dives from YouTube, PDFs, URLs, audio, and images. Use for "create a podcast", "audio overview", "study guide", conversational AI-host audio, or chatting/querying multiple documents as one knowledge base. Triggers - "notebooklm", "audio briefing", "podcast about", "deep dive from". NOT for plain transcription, TTS, audio editing, or basic summarization.
Symbolic execution and binary analysis with angr (Python). Use when the user wants to find an input that reaches a target address, solve a crackme/keygen, check branch reachability, recover a CFG over indirect calls, or reason about constraints on program inputs. Trigger on phrases like "symbolic execution", "solve this crackme", "what input reaches", "find the flag with angr", "constraint solving", "angr CFG", or any RE task where the question is "what input makes the program do X". Pairs with the rizin-re skill — use rizin to find target addresses, then angr to solve for inputs that reach them.
Interactive binary reverse engineering with rizin via a persistent tmux session. Use when the user wants to open a binary and explore it — disassemble functions, find strings, inspect imports/exports, trace control flow, analyze malware, work CTF challenges, or do vulnerability research. Trigger on phrases like "open this binary", "reverse engineer", "disassemble", "analyze with rizin", "what does this function do", "find the flag", or any RE task involving an executable or library file.
| name | typst-copilot |
| description | Typst (.typ) document assistant for creation, layout debugging, compilation, and format conversion. Use this skill whenever (1) user mentions "Typst", ".typ files", or Typst syntax patterns (#figure, |
Typst v0.14.2 document assistant.
scripts/compile_typst.py <input.typ> [output.pdf] - Compile to PDFreferences/syntax.md - Markup, math, code modes; function parametersreferences/styling.md - Set rules, show rules, typographyreferences/layout.md - Page setup, grids, tables, figuresreferences/scripting.md - Variables, functions, control flow, importsreferences/conversion.md - Markdown/LaTeX to Typst mappingsreferences/debugging.md - Page flow fixes, layout troubleshootingassets/templates/report.typ - Report with title page, TOCassets/templates/paper.typ - Academic two-column paperassets/templates/presentation.typ - Slide deck#set document(title: "Title", author: "Author")
#set page(paper: "a4", margin: 2.5cm, numbering: "1")
#set text(font: "New Computer Modern", size: 11pt)
#set par(justify: true)
#set heading(numbering: "1.1")
= Introduction
Content...
Read references/conversion.md for complete mappings.
Key differences:
| Markdown/LaTeX | Typst |
|---|---|
**bold** | *bold* |
*italic* | _italic_ |
## Heading | == Heading |
\frac{a}{b} | a/b |
\int | integral |
python scripts/compile_typst.py input.typ
When PDF has layout issues, read references/debugging.md.
Quick fixes:
// Prevent heading orphans
#show heading: it => block(breakable: false, it)
// Force page break before chapters
#show heading.where(level: 1): it => { pagebreak(weak: true); it }
// Keep table together
#show table: set block(breakable: false)
my-variable<fig:chart>, @fig:chart.typ extension