How do I install the Typdd skill?

Run npx skillmds@latest add aibot88/typdd in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

Is Typdd safe to use?

This skill has not completed SkillMD's automated safety review yet. Independent scanners report: SkillSpector: PASS, Skill Scanner: PASS. Capability flags: docs only. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Typdd?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Typdd free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

aibot88 (@aibot88) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Typdd by aibot88 — Agent Skill

Name: Typdd
Rating: 4.666666666666667 (3 reviews)
Author: aibot88

File contents

typdd

Render publication-ready BDD diagrams in Typst. Write #bdd("expr"), typdd handles parsing, building, reducing, layout, and rendering via fletcher.

Workflow

New file: create .typ with #bdd(...) — existing file: add/edit #bdd(...) calls
Ensure #import "@preview/typdd:0.1.0": bdd is at the top
Compile: typst compile file.typ file.png (add --root . for local imports)

Example

#import "@preview/typdd:0.1.0": bdd
#set page(width: auto, height: auto, margin: 1em)
#set text(font: "New Computer Modern", size: 10pt)

#grid(
  columns: 3, column-gutter: 2em, align: center + horizon,
  bdd("x1 & x2"),
  bdd("x1 ^ x2", style: "presentation"),
  bdd("a & (b | !c)", labels: (a: $alpha$, b: $beta$, c: $gamma$), compact: true),
)

API — `bdd(expr, ..options)`

Parameter	Type	Default	Description
`expr`	`str`	required	Boolean expression
`style`	`str`	`"classic"`	`classic` / `paper` / `presentation` / `curved`
`order`	`array`	`none`	Variable ordering, e.g. `("x3","x1","x2")`
`labels`	`dict`	`(:)`	Display names: `(x1: $alpha$)` or `(a: "emoji")`
`show-edge-labels`	`bool`	`false`	Show 0/1 on edges
`direction`	`str`	`"TB"`	`TB` / `BT` / `LR` / `RL`
`scale`	`float`	`1.0`	Uniform scale factor
`compact`	`bool`	`false`	Tighter spacing for large BDDs
`reduced`	`bool`	`true`	Apply BDD reduction (set `false` for teaching)
`center-root`	`bool`	`true`	Center on root node
`node-sep` / `level-sep`	`length`	`auto`	Spacing overrides
`show-complement`	`bool`	`false`	Complement edge bubbles

bdd-from-json(data, ..options) — same rendering options, imports from JSON interchange format.

Operators

& AND · | OR · ! NOT · ^ XOR · => IMPLIES · ~& NAND · ~| NOR · ~^ XNOR · ite(c,t,f)

Precedence (low→high): => → | → ^ → & → !. Variables: alphanumeric (x1, input_A). Constants: 0, 1, true, false.

Styles

classic (B&W default) · paper (thin grayscale) · presentation (blue/colored) · curved (curved edges)

Common Mistakes

Mistake	Fix
Missing `#set page(width: auto, height: auto)`	Add it for standalone images
Using `&&` or `\|\|`	Single-char: `&` and `\|`
Hyphenated variable names	Alphanumeric only: `input_A` not `input-A`
>20 variables or >1000 char expression	Simplify or use `compact: true`

---name: typdddescription: Use when user wants to draw, render, visualize, or customize a Binary Decision Diagram (BDD) in Typst, or asks about boolean expression diagrams, decision trees, or logic circuit visualization.--- # typdd Render publication-ready BDD diagrams in Typst. Write `#bdd("expr")`, typdd handles parsing, building, reducing, layout, and rendering via fletcher. ## Workflow 1. **New file:** create `.typ` with `#bdd(...)` — **existing file:** add/edit `#bdd(...)` calls 2. Ensure `#import "@preview/typdd:0.1.0": bdd` is at the top 3. Compile: `typst compile file.typ file.png` (add `--root .` for local imports) ## Example ```typst #import "@preview/typdd:0.1.0": bdd #set page(width: auto, height: auto, margin: 1em) #set text(font: "New Computer Modern", size: 10pt) #grid( columns: 3, column-gutter: 2em, align: center + horizon, bdd("x1 & x2"), bdd("x1 ^ x2", style: "presentation"), bdd("a & (b | !c)", labels: (a: $alpha$, b: $beta$, c: $gamma$), compact: true), ) ``` ## API — `bdd(expr, ..options)` | Parameter | Type | Default | Description | |-----------|------|---------|-------------| | `expr` | `str` | **required** | Boolean expression | | `style` | `str` | `"classic"` | `classic` / `paper` / `presentation` / `curved` | | `order` | `array` | `none` | Variable ordering, e.g. `("x3","x1","x2")` | | `labels` | `dict` | `(:)` | Display names: `(x1: $alpha$)` or `(a: "emoji")` | | `show-edge-labels` | `bool` | `false` | Show 0/1 on edges | | `direction` | `str` | `"TB"` | `TB` / `BT` / `LR` / `RL` | | `scale` | `float` | `1.0` | Uniform scale factor | | `compact` | `bool` | `false` | Tighter spacing for large BDDs | | `reduced` | `bool` | `true` | Apply BDD reduction (set `false` for teaching) | | `center-root` | `bool` | `true` | Center on root node | | `node-sep` / `level-sep` | `length` | `auto` | Spacing overrides | | `show-complement` | `bool` | `false` | Complement edge bubbles | `bdd-from-json(data, ..options)` — same rendering options, imports from JSON interchange format. ## Operators `&` AND · `|` OR · `!` NOT · `^` XOR · `=>` IMPLIES · `~&` NAND · `~|` NOR · `~^` XNOR · `ite(c,t,f)` Precedence (low→high): `=>` → `|` → `^` → `&` → `!`. Variables: alphanumeric (`x1`, `input_A`). Constants: `0`, `1`, `true`, `false`. ## Styles `classic` (B&W default) · `paper` (thin grayscale) · `presentation` (blue/colored) · `curved` (curved edges) ## Common Mistakes | Mistake | Fix | |---------|-----| | Missing `#set page(width: auto, height: auto)` | Add it for standalone images | | Using `&&` or `\|\|` | Single-char: `&` and `\|` | | Hyphenated variable names | Alphanumeric only: `input_A` not `input-A` | | >20 variables or >1000 char expression | Simplify or use `compact: true` |

Frequently asked questions

Typdd