Packages

ptc_runner

0.7.0
0.13.0 0.12.0 0.11.0 0.10.1 0.10.0 0.9.0 0.8.0 0.7.0 0.6.0 0.5.2 0.5.1 0.5.0 0.4.1 0.4.0 0.3.4 0.3.3 0.3.2 0.3.1 0.3.0 0.2.0 0.1.0

Secure BEAM sandbox runtime for LLM code mode and MCP aggregation. Run concurrent LLM/tool clients safely while agents orchestrate approved tools, call upstream MCP/OpenAPI servers, and transform data.

HexDocs

Current section

Files

Jump to
Readme
21 Versions
4 Dependencies
Dependants
Files
Activity
ptc_runner priv prompts verification-predicate-reminder.md
Raw

priv/prompts/verification-predicate-reminder.md 

# Verification Predicate Reminder



Use PTC-Lisp predicates to validate task outputs.



**Bindings:** `data/result`, `data/input`, `data/depends` (no bare variable names)



**Key forms:**

- `(get map "key")`, `(get-in map ["k1" "k2"])`, `(contains? map "key")`

- `(count coll)`, `(empty? coll)`, `(every? pred coll)`, `(nil? x)`

- `(map? x)`, `(number? x)`, `(string? x)`, `(boolean? x)`, `(coll? x)`

- `(if cond then_expr else_expr)`, `(let [x val] body)`



Additional functions (`filter`, `map`, `reduce`, `sort-by`, `keys`, `vals`, etc.) are also available.



**Return:** `true` for success, or a string diagnosis for failure.