Imported from xmanatee/kota (src/modules/eval-harness/fixtures/builder-formal-spec-faithfulness/initial/AGENTS.md). Install upstream with npx skills add xmanatee/kota --skill initial. Copyright stays with the author.
Formal Spec Faithfulness Fixture
This fixture is a tiny dependency-free Node project for the KOTA eval harness.
REQUIREMENTS.md and data/*.json are the source packet. Do not edit them.
scripts/check-spec-faithfulness.mjs and scripts/check-spec-faithfulness/*.mjs are the verifier. Do not edit them.
Implement the executable contract in src/spec-contract.mjs.
Write evidence to spec-faithfulness-result.json.
Move the seeded task from data/tasks/ to data/tasks/archive/ when complete.
Use it
Copy one of these into your project. Installing also returns the manifest and these snippets.
yaml
targets:
- https://api.opensmartroute.ai/api/v1/registry/xmanatee-kota-initial/manifest # or paste the manifest below
Manifest
An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.
xmanatee-kota-initial.ocm.jsonjson
{
"ocm": "1",
"id": "xmanatee-kota-initial",
"kind": "skill",
"name": "initial",
"description": "This fixture is a tiny dependency-free Node project for the KOTA eval harness.",
"publisher": "xmanatee",
"version": "1.0.0",
"capabilities": {
"domains": [
"general"
],
"tags": [
"skill-md",
"github-agents"
],
"languages": [
"en"
]
},
"quality_prior": 0.6,
"examples": [
"This fixture is a tiny dependency-free Node project for the KOTA eval harness."
],
"primary": false,
"metadata": {
"source": {
"provider": "github-agents",
"repository": "https://github.com/xmanatee/kota",
"path": "src/modules/eval-harness/fixtures/builder-formal-spec-faithfulness/initial/AGENTS.md",
"ref": "1e8fbe3d6b75c83f3170045987cb9917dd0ed05f",
"url": "https://github.com/xmanatee/kota/blob/1e8fbe3d6b75c83f3170045987cb9917dd0ed05f/src/modules/eval-harness/fixtures/builder-formal-spec-faithfulness/initial/AGENTS.md",
"key": "xmanatee/kota/src/modules/eval-harness/fixtures/builder-formal-spec-faithfulness/initial/AGENTS.md"
}
},
"instructions": "# Formal Spec Faithfulness Fixture\n\nThis fixture is a tiny dependency-free Node project for the KOTA eval harness.\n\n- `REQUIREMENTS.md` and `data/*.json` are the source packet. Do not edit them.\n- `scripts/check-spec-faithfulness.mjs` and `scripts/check-spec-faithfulness/*.mjs` are the verifier. Do not edit them.\n- Implement the executable contract in `src/spec-contract.mjs`.\n- Write evidence to `spec-faithfulness-result.json`.\n- Move the seeded task from `data/tasks/` to `data/tasks/archive/` when complete.",
"cost": {
"context_tokens": 128
}
}
Fetch it by URL: GET /api/v1/registry/xmanatee-kota-initial/manifest?version=1.0.0
Reviews
Star ratings from people who tried it. One review per account; edit yours any time.
No reviews yet. Install it, try it, and be the first to rate it.