yaniv-golan

56 mods across 9 repositories, 52 stars between them.

pretext

02

yaniv-golan/pretext-skill

Plugin Claude Code

AI skill for @chenglou/pretext — a small, tree-shakable TypeScript text measurement library that computes exact text metrics without DOM reflows.

15 1mo ago A tokens not measured original MIT

pretext

03

yaniv-golan/pretext-skill

Skill Claude CodeCodex

Help developers use @chenglou/pretext, a small TypeScript text measurement library that computes exact text metrics without DOM reflows. Use when users mention pretext, @chenglou/pretext, @chenglou/pretext/rich-inline, measuring text height without triggering DOM reflow, measuring text height or line count in JS…

15 1mo ago A 182 tokens original MIT

yaniv-golan/smalltv-ultra-skill

Skill Claude CodeCodex

This skill should be used when the user asks to "control the SmallTV", "change SmallTV theme", "upload image to SmallTV", "set SmallTV brightness", "configure SmallTV weather", "install alternative firmware", "flash ESPHome on SmallTV", "install bvweerd firmware", "write custom firmware for ESP8266 display", "build…

9 6mo ago B 187 tokens original MIT

smalltv-mcp-tools

07

yaniv-golan/smalltv-ultra-skill

Skill Claude CodeCodex

This skill should be used when the SmallTV Local MCP server tools are available and the user asks to "control SmallTV", "read SmallTV status", "upload image to SmallTV", "change SmallTV settings", "flash SmallTV firmware", or interacts with a GeekMagic SmallTV Ultra device through MCP tools (smalltv-get-device-info…

9 6mo ago A 136 tokens original MIT

proof-engine-wiki

09

yaniv-golan/proof-engine

Skill Claude CodeCodex

Attach Proof Engine proofs to LLM-wiki claims. Use for ingest (extract claims, look up or commission proofs, rewrite pages with badges) and lint (re-verify citations, detect contradictions, report stale proofs) steps in wiki pipelines. Trigger phrases: "ingest wiki page", "lint wiki", "{{prove:}} markers", "verify…

8 3mo ago A 78 tokens original MIT

proof-engine

10

yaniv-golan/proof-engine

Plugin Claude Code

Create formal, verifiable proofs of claims with machine-checkable reasoning — every fact computed or cited, never asserted.

8 3mo ago A tokens not measured original MIT

proof-engine

11

yaniv-golan/proof-engine

Skill Claude CodeCodex

Create formal, verifiable proofs of claims with machine-checkable reasoning. Use when asked to prove, verify, fact-check, or rigorously establish whether a claim is true or false — mathematical, empirical, or mixed. Trigger phrases: "is it really true", "can you prove", "verify this", "fact-check this", "prove it"…

8 3mo ago A 96 tokens original MIT

theorem-grader

12

yaniv-golan/proof-engine

Agent

Grade a deductive-theorem proof artifact (claimtype: "theorem") against the proof-engine's quality bar for canonical citation targets.

8 3mo ago A 0 tokens original MIT

widget-fixture

14

yaniv-golan/skill-creator-plus

Plugin Claude Code

Fixture plugin exercising the script-invocation stanzas in assets/. Not shipped; harness only.

4 2d ago A tokens not measured original MIT

gizmo-probe

15

yaniv-golan/skill-creator-plus

Skill Claude CodeCodex

Probe gizmo definitions. Use when the user asks to "run the gizmo probe", "probe a gizmo", or "check my gizmo".

4 2d ago A 36 tokens original MIT

widget-check

16

yaniv-golan/skill-creator-plus

Skill Claude CodeCodex

Validate widget definition files. Use when the user asks to "run the widget check", "check my widget", or "validate a widget".

4 2d ago A 31 tokens original MIT

skill-creator-plus

17

yaniv-golan/skill-creator-plus

Plugin Claude Code

Create, test, evaluate, and iteratively improve Claude Code skills with built-in benchmarking, blind A/B comparison, and description optimization.

4 2d ago A tokens not measured original MIT

skill-creator-plus

18

yaniv-golan/skill-creator-plus

Skill Claude CodeCodex

Create, test, evaluate, and improve Claude skills — and answer questions about how skills work. Use for "create a skill", "make a skill for", "write a SKILL.md", "turn this into a skill", "run evals", "test/benchmark my skill", "optimize my skill description", "improve triggering", "A/B test my skill", "blind…

4 2d ago A 147 tokens original MIT

analyzer

19

yaniv-golan/skill-creator-plus

Agent

Analyze blind comparison results to understand WHY the winner won and generate improvement suggestions.

4 2d ago A 0 tokens copy · 97% MIT

pikud-haoref-alerts

23

yaniv-golan/pikud-haoref-alerts

Plugin Claude Code

Comprehensive guide for building integrations with Israel's Pikud HaOref (Home Front Command) alert system — rocket alerts, earthquake warnings, and civil defense notifications.

2 5mo ago A tokens not measured original MIT

pikud-haoref-alerts

24

yaniv-golan/pikud-haoref-alerts

Skill Claude CodeCodex

Comprehensive guide for working with Pikud HaOref (Israel Home Front Command) alert APIs — the official and community endpoints that publish real-time rocket alerts, earthquake warnings, and other civil defense notifications across Israel. Use this skill whenever someone wants to build an integration with Pikud HaOref…

2 5mo ago A 224 tokens original MIT