Task Scheduler (in-process)

Run work concurrently with bounded resources and predictable ordering.

16 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: "scheduler")                → the capability tree
spec_checklist(slug: "scheduler")          → the questions to answer
spec_grade(slug: "scheduler", grades: [...])  → parity % + the gap list

# or just fetch it
curl https://provespec.com/catalog/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 "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 16

Submission

✓ Submit a unit of work and receive a handle
✓ Priorities honoured across queued work
✓ Cancellation propagated to running work

Concurrency

✓ Bounded worker pool with a stated sizing rule
✓ Backpressure when the queue is full reject or block — stated, not unbounded growth
✓ Fairness so one producer cannot starve others

Ordering

✓ FIFO within a priority band
✓ Serial execution per key when required ordering guarantees per entity

Failure

✓ Exceptions surfaced on the handle, not swallowed
✓ Retry policy separate from the work itself
✓ A panicking task does not kill the pool

Lifecycle

✓ Graceful shutdown drains in-flight work
✓ Hard shutdown with a deadline

Observability

✓ Queue depth, in-flight count and latency
✓ Slow-task detection

Correctness

✓ No deadlock when tasks submit tasks the classic pool deadlock

Download spec.json All 100 specs