catalog / engines

Cron Scheduler

Run things on time — including across daylight saving and restarts.

17 capabilities 1 sections reference specification

Build against it

# give your agent the catalog — no account, no install
claude mcp add provespec -- npx -y provespec-mcp

# then, from any agent session
spec_get(slug: "cron-scheduler")                → the capability tree
spec_checklist(slug: "cron-scheduler")          → the questions to answer
spec_grade(slug: "cron-scheduler", grades: [...])  → parity % + the gap list

# or just fetch it
curl https://provespec.com/catalog/cron-scheduler/spec.json

Grade every capability below as yes · partial · no · na, with a file reference as evidence. Whatever you leave ungraded counts as missing — the gap list is the work queue.

Or just paste this to your agent

Use the ProveSpec MCP server. Fetch the "cron-scheduler" spec with
spec_get, then walk spec_checklist and grade this repository against it —
one verdict per capability, each with a file reference as the note.
Call spec_grade with the results and give me the gap list as the plan.

If the server is not registered, add it first:
  claude mcp add provespec -- npx -y provespec-mcp

The specification

AI 17

Expression
  • Standard five-field cron syntax
  • Ranges, steps and lists */5, 1-5, 1,15
  • Named months and weekdays
  • Optional seconds and year fields documented dialect
  • Validation with a helpful error and a next-run preview
Time
  • Schedules evaluated in a declared time zone not the server default
  • DST spring-forward: skipped local times handled run once, not zero or twice
  • DST fall-back: repeated local times handled
Execution
  • Missed runs after downtime skip or catch up — stated and configurable
  • Overlap policy when a run exceeds its interval skip, queue or allow
  • Per-job timeout and cancellation
Reliability
  • Single execution across multiple instances leader election or locking
  • Schedule state survives restart
Observability
  • Last run, next run, duration and outcome per job
  • Failure notification
Management
  • Add, pause, resume and remove jobs at runtime
  • Trigger a job manually without disturbing the schedule
Download spec.json All 71 specs