Abiba
c1d993fe01
- hello-world: Ensures -> Maintains (v0.15.0 rename). - zulip-mention-reliability: fold Success Criteria into Maintains postconditions. - litellm-self-heal: swap gemma/qwen GPU hosts to match actual deployment; add Strix Halo 64GB UMA detail; add Rules 7 (roster stuck), 8 (agent keys invalid/401), 9 (stale Redis active counter).
337 B
337 B
kind, name, description
| kind | name | description |
|---|---|---|
| function | hello-world | A simple hello world contract to test OpenProse on pi |
Parameters
- name: string — The name to greet (default: "World")
Returns
- greeting: string — The generated greeting message
Maintains
- The greeting includes the provided name
- The greeting is friendly and warm