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).
16 lines
337 B
Markdown
16 lines
337 B
Markdown
---
|
|
kind: function
|
|
name: hello-world
|
|
description: 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
|