|
Download openspec/changes/add-developer-tools/specs/developer-tools/spec.md from wzender/mathly: direct link, hf CLI and curl.
- Browser
- Download file 861 Bytes
-
https://huggingface.co/spaces/wzender/mathly/resolve/main/openspec/changes/add-developer-tools/specs/developer-tools/spec.md
- Command line
-
hf download hf://spaces/wzender/mathly/openspec/changes/add-developer-tools/specs/developer-tools/spec.md
-
curl -L -o spec.md https://huggingface.co/spaces/wzender/mathly/resolve/main/openspec/changes/add-developer-tools/specs/developer-tools/spec.md
861 Bytes
Spec Delta
Purpose
Tools only developers can reach: a lab for testing tools, and a view of what the AI costs.
ADDED Requirements
Requirement: Developers only
The lab and the AI usage page SHALL be reachable only by developers.
Scenario: Manager
- WHEN a manager asks for the lab
- THEN it is refused
Requirement: Lab
The lab SHALL be a page for testing and development tools. Until the first tool is chosen it SHALL say that tools will be added here.
Scenario: Empty lab
- WHEN a developer opens the lab
- THEN it says tools will be added here
Requirement: AI usage
A page SHALL show the AI's calls and estimated cost by day, by class and by kind of call.
Scenario: One week
- WHEN a developer opens the usage page
- THEN it shows each day's calls and cost, with totals per class and per kind