Skip to content
Skillv1.0.0

initial

This fixture is a tiny dependency-free Node project for the KOTA eval harness.

by xmanatee(0) 0 installs
Free
Sign in to install

Free account. Installing gives you the manifest plus copy-paste snippets.

See reviews

About

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.

initial - Skill - OpenSmartRoute