beta commands

122 tagged beta, measured the same way as everything else here.

Browse within: LaTeX 56formal-methods 42z-notation 42z-notations 42messaging-platform 24ocr 14pdf-generation 14product-discovery 14vector-search 14elevenlabs-tts 10tts 10Autonomous Agents 5claude-sdk 5

meeting-hive

01

punt-labs/prfaq

Command

Run an autonomous PR/FAQ review meeting where four personas debate and reach consensus without user intervention.

25 yesterday A 18 tokens original MIT

meeting-listen

02

punt-labs/prfaq

Command

Play back a completed meeting summary as a voiced debate between personas.

25 yesterday A 12 tokens original MIT

vote

03

punt-labs/prfaq

Command

Assess whether a PR/FAQ should move forward with a structured go/no-go decision.

25 yesterday A 16 tokens original MIT

oracle-dev

04

punt-labs/z-spec

Command

Generate property-based test harness using Lean 4 model as oracle.

5 yesterday A 12 tokens original MIT

refine-dev

05

punt-labs/z-spec

Command

Verify code refines Z specification via abstraction function and commutativity checks.

5 yesterday A 14 tokens original MIT

refine

06

punt-labs/z-spec

Command

Verify code refines Z specification via abstraction function and commutativity checks.

5 yesterday A 14 tokens original MIT

ingest-dev

07

punt-labs/quarry

Command

Ingest a URL, directory, or file into your knowledge base.

3 yesterday A 13 tokens original MIT

quarry

09

punt-labs/quarry

Command

Manage your quarry knowledge base.

3 yesterday A 5 tokens original MIT

call

10

punt-labs/vox

Command

Start, transfer, or stop a Conversation Mode call.

3 yesterday A 10 tokens original MIT

music

11

punt-labs/vox

Command

Control background music generation.

3 yesterday A 4 tokens original MIT

vibe

12

punt-labs/vox

Command

Set session mood for TTS voice.

3 yesterday A 7 tokens original MIT

beadle

13

punt-labs/beadle

Command

Enable or disable beadle guidance in this repo.

3 yesterday A 9 tokens original MIT

inbox

14

punt-labs/beadle

Command

Check beadle's email inbox.

3 yesterday A 6 tokens original MIT

mail

15

punt-labs/beadle

Command

Mail something to me or someone else.

3 yesterday A 7 tokens original MIT

poll-dev

16

punt-labs/biff

Command

Poll for talk/mail — "/biff-dev:poll-dev 5m" starts polling every 5m; "/biff-dev:poll-dev" checks now.

2 2d ago A 33 tokens original MIT

poll

17

punt-labs/biff

Command

Poll for talk/mail — "/biff:poll 5m" starts polling every 5m; "/biff:poll" checks now.

2 2d ago A 29 tokens original MIT

read-dev

18

punt-labs/biff

Command

Check your inbox for new messages.

2 2d ago A 6 tokens original MIT

init-dev

19

punt-labs/punt-kit

Command

Run the scaffolding tool from the local working tree (not the installed CLI). Use this when developing punt-kit to test changes before publishing.

1 yesterday A 10 tokens original MIT

reconcile-dev

20

punt-labs/punt-kit

Command

This is the working tree version of /punt reconcile. It uses the local punt-kit source (via uv run) instead of the installed CLI. Use this when developing punt-kit to test reconciliation changes before publishing.

1 yesterday A 12 tokens original MIT

reconcile

21

punt-labs/punt-kit

Command

LLM-powered standards reconciliation for a Punt Labs project.

1 yesterday A 10 tokens original MIT