root
584338fb60
- litellm-health.prose.md: Verifies admin UI, API docs, OIDC auth, container health, and aggregate health endpoint. Reusable by any Syslog agent. - hello-world.prose.md: Simple example contract demonstrating OpenProse function pattern with parameters, returns, and postconditions.
335 B
335 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
Ensures
- The greeting includes the provided name
- The greeting is friendly and warm