Spec toolkit
The Analyzer needs an Agent Functional Spec: a JSON description of what your agent is for, what it decides and which limits it must respect. Here is how to get one that the Analyzer will accept the first time: let your coding agent write it from your source, then check it.
- 1Download the kit (one ZIP: prompt, template, schema, checker and a README) and unzip it next to your agent's repository.
- 2Paste the prompt from the kit into your coding agent (Claude Code, Cursor, Copilot, Codex…) and tell it where the repository is.
- 3It writes the spec and runs the checker until it prints READY FOR THE ANALYZER. Upload that spec with the source.
The checker needs Python 3.9+ and pip install jsonschema; it does not run your agent or use the network. It cannot tell whether a claim is true — the analyzer does that — but it removes every mechanical failure first.
Renders an Agent Functional Spec document as a human-readable, fillable form — pure templating, no model involved. Select an Agent Functional Spec JSON file below (or convert one from Word, on the right) to enable this.
Upload a filled-out Functional Spec to convert it back to JSON — deterministic table-label mapping, no NLP. The result is used as your Agent Functional Spec document below automatically.