Skip to content
Skillv1.0.0

public-ntp-servers

AGENTS.md

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

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

See reviews

About

Imported from jauderho/public-ntp-servers (AGENTS.md). Install upstream with npx skills add jauderho/public-ntp-servers. Copyright stays with the author.

AGENTS.md

  • Scan the URL provided or GitHub Issue for any relevant information
  • Extract hostname and verify that the NTP server is reachable
  • Place new entry in the proper location in ntp-sources.yml by alphabetical country
  • Do not make direct changes to README.md, chrony.conf and ntp.toml. Run scripts/ntpServerConvertor.py to update after changes to ntp-sources.yml are completed
  • Leverage logic from scripts/ntpUpdateSources.py to determine AS and stratum if information is not provided

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/jauderho-public-ntp-servers-public-ntp-servers/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.

jauderho-public-ntp-servers-public-ntp-servers.ocm.jsonjson
{
  "ocm": "1",
  "id": "jauderho-public-ntp-servers-public-ntp-servers",
  "kind": "skill",
  "name": "public-ntp-servers",
  "description": "AGENTS.md",
  "publisher": "jauderho",
  "version": "1.0.0",
  "capabilities": {
    "domains": [
      "general"
    ],
    "tags": [
      "skill-md",
      "github-agents"
    ],
    "languages": [
      "en"
    ]
  },
  "quality_prior": 0.6,
  "examples": [
    "AGENTS.md"
  ],
  "primary": false,
  "metadata": {
    "source": {
      "provider": "github-agents",
      "repository": "https://github.com/jauderho/public-ntp-servers",
      "path": "AGENTS.md",
      "ref": "decb64446ce5f37bb9de0117bc640fc661e8004c",
      "url": "https://github.com/jauderho/public-ntp-servers/blob/decb64446ce5f37bb9de0117bc640fc661e8004c/AGENTS.md",
      "key": "jauderho/public-ntp-servers/AGENTS.md"
    }
  },
  "instructions": "# AGENTS.md\n\n- Scan the URL provided or GitHub Issue for any relevant information\n- Extract hostname and verify that the NTP server is reachable\n- Place new entry in the proper location in ntp-sources.yml by alphabetical country\n- Do not make direct changes to README.md, chrony.conf and ntp.toml. Run scripts/ntpServerConvertor.py to update after changes to ntp-sources.yml are completed\n- Leverage logic from scripts/ntpUpdateSources.py to determine AS and stratum if information is not provided",
  "cost": {
    "context_tokens": 124
  }
}

Fetch it by URL: GET /api/v1/registry/jauderho-public-ntp-servers-public-ntp-servers/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.