菜单
Discover and learn the Pavlov behavioral programming library for Clojure/CLJS. Use when you need Pavlov concepts, bthreads/bprograms, or to locate docs, tests, and docstrings on the classpath.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Facilitate iterative domain modeling with Pavlov bthreads. Use only when requested
Plan and execute Pavlov-first rewrites of existing non-Pavlov or legacy web/server codebases by extracting requirements, business rules, domain events, scenarios, safety properties, and liveness/progress properties from source code, tests, schemas, API contracts, logs, traces, and human review. Use when modernizing or rewriting an application with Pavlov, recovering requirements from an existing system, coordinating multi-session/multi-agent rewrite discovery, or turning legacy behavior into evidence-backed Pavlov domain models.
Model checking for Pavlov behavioral programs. Use when testing Pavlov features, working with existing model-checking tests, or driving development by defining the model and properties first.
| name | pavlov |
| description | Discover and learn the Pavlov behavioral programming library for Clojure/CLJS. Use when you need Pavlov concepts, bthreads/bprograms, or to locate docs, tests, and docstrings on the classpath. |
Pavlov is a Clojure and ClojureScript behavioral programming library inspired by David Harel et al.’s paper "Behavioral Programming". It adapts the original behavioral programming model by running bprograms with a step function.
references/access-test-examples.md).clojure.repl/doc in the Clojure REPL on the core namespaces and functions first.(require '[clojure.repl :refer [doc source find-doc apropos]])
(doc 'tech.thomascothran.pavlov.bthread)
(doc 'tech.thomascothran.pavlov.bprogram.ephemeral)
(doc 'tech.thomascothran.pavlov.bthread/bids)
(doc 'tech.thomascothran.pavlov.bprogram.ephemeral/execute!)
clojure.java.io and slurp with io/resource.tech/thomascothran/pavlov-skills/doc/.(require '[clojure.java.io :as io])
(slurp (io/resource "tech/thomascothran/pavlov-skills/doc/README.md"))
(slurp (io/resource "tech/thomascothran/pavlov-skills/doc/what-is-a-bthread.md"))
io/resource + slurp.(require '[clojure.java.io :as io])
(slurp (io/resource "tech/thomascothran/pavlov/bthread_test.cljc"))
(slurp (io/resource "tech/thomascothran/pavlov/bprogram/ephemeral_test.clj"))
These files can be large, so search the strings for the functions you're looking for.
For more examples, use references/access-test-examples.md (resource path ./references/access-test-examples.md) to list test sources on the classpath.