docs: show custom tools with binary agent server #505
+63
−13
Mintlify / Mintlify Deployment
succeeded
May 13, 2026 in 48s
Deployment Succeeded
Preview successfully created for all-hands-ai at https://allhandsai-docs-custom-tools-agent-server-extra-path.mintlify.app
Details
Fetching and validating config file...
Successfully validated docs.json
Fetching .mintignore file...
No .mintignore file found
file too large - skipping: openhands/static/img/teaser.mp4
Fetched all file paths
Fetched 2 OpenApi file(s):
- openapi/V0_openapi.json
- openapi/agent-sdk.json
Generated OpenAPI pages for navigation
Successfully updated API reference metadata.
Updating all paths...
Successfully updated deployment
Successfully saved config
Updating navigation...
Navigation updated
Loading