메뉴
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.