OPEN SOURCE
ACKNOWLEDGEMENTS

• htmx 2.0.11 loads new pages and sends forms without reloading the whole site. Source code at github.com/bigskysoftware/htmx under the BSD Zero Clause License.
• htmx SSE extension 2.2.4 streams live updates from agent runs to the dashboard. Source code at github.com/bigskysoftware/htmx-extensions under the BSD Zero Clause License.
• htmx preload extension 2.1.2 starts loading a page when you point at its link. Source code at github.com/bigskysoftware/htmx-extensions under the BSD Zero Clause License.
• three.js 0.187.0 draws the 3D servers, force fields and agents. Source code at github.com/mrdoob/three.js under the MIT License.
• BoopFace 0.8.0 by CX ArtLab gives the round agent characters their faces and eyes. Source code at github.com/CX-ArtLab/boopface under the MIT License.

• Lucide draws the tools the agents hold and the icons on buttons. Source code at github.com/lucide-icons/lucide under the ISC License.
• Simple Icons supplies most logos in the list of tools AgentProof works with, and the Cloudflare logo on the servers. Source at github.com/simple-icons/simple-icons under CC0 1.0.
• LobeHub Icons supplies the AWS, Google Cloud and Azure logos on the servers and the Lovable logo. Source at github.com/lobehub/lobe-icons under the MIT License.
• Dashboard Icons supplies the Bolt logo. Source at github.com/homarr-labs/dashboard-icons under the Apache License 2.0.
• TeX Gyre Schola by GUST is the serif font in titles and headings. Source at gust.org.pl/projects/e-foundry/tex-gyre under the GUST Font License.

Product names and logos belong to their owners.

• Go 1.26 runs the AgentProof website, dashboard and API as one program. Source code at github.com/golang/go under the BSD 3-Clause License.
• SQLite stores accounts, schedules and runs. Source code at sqlite.org/src, in the public domain.
• modernc.org/sqlite 1.62.0 lets the Go program use SQLite without C code. Source code at gitlab.com/cznic/sqlite under the BSD 3-Clause License.

• Node.js runs the program on each agent computer that talks to AgentProof. It also builds this website. Source code at github.com/nodejs/node under the MIT License.
• DeepSeek Harness 0.2.2-rc.1 runs each agent: it passes each step to the AI model and runs the tools the agent picks. Source code at github.com/deepseek-ai/deepseek-harness under the MIT License.
• REA 6.8.0 gives the agents tools to take apart and study websites, apps and programs. Source code at github.com/morluto/rea under the MIT License.
• Playwright 1.58.2 controls the web browser the agents use. Source code at github.com/microsoft/playwright under the Apache License 2.0.
• MCP TypeScript SDK 2.3.1 connects the agents to their tools through the Model Context Protocol. Source code at github.com/modelcontextprotocol/typescript-sdk under the Apache License 2.0 and the MIT License.
• Zod 4.6.7 checks what the agents send to their Android phone tools. Source code at github.com/colinhacks/zod under the MIT License.
• YAML 2.9.0 reads YAML files when a new agent computer checks its setup. Source code at github.com/eemeli/yaml under the ISC License.

• Vite 6.4.2 builds the pages, styles and scripts of this website. Source code at github.com/vitejs/vite under the MIT License.
• Playwright 1.65.0 tests the pages in real browsers. Source code at github.com/microsoft/playwright under the Apache License 2.0.