{
  "schema_version": "agentpmt.docs.v1",
  "generated_at": "2026-08-18T18:03:14.688Z",
  "release_id": "5367fe2ce2aa1968ba089b7a77934459c60b1659a1b8fa753f18f40c1cf609fa",
  "title": "Workflow Authoring Documentation",
  "page_url": "https://www.agentpmt.com/docs/workflow-authoring",
  "markdown_url": "https://www.agentpmt.com/docs/workflow-authoring.md",
  "json_url": "https://www.agentpmt.com/api/agent/docs/workflow-authoring",
  "documents": [
    {
      "id": "69d13e0f2117cce34a638557",
      "title": "Write Lean Input For Code Generation",
      "description": "Learn exactly what Lean source the Proof Code Compiler accepts, download a working example zip, and structure your entry symbol correctly.",
      "category": "Workflow Authoring",
      "section": "guides",
      "page_url": "https://www.agentpmt.com/docs/workflow-authoring/write-lean-input-for-code-generation",
      "markdown_url": "https://www.agentpmt.com/docs/workflow-authoring/write-lean-input-for-code-generation?format=agent-md",
      "json_url": "https://www.agentpmt.com/docs/workflow-authoring/write-lean-input-for-code-generation?format=agent-json"
    }
  ]
}