Terms of Service of Pragma

Terms of Service Pragma Symphony Version 2.0 — July 2026 This agreement applies to the Pragma Symphony desktop application only, not to other noema.tools products.

1. Parties

These Terms of Service constitute a legally binding agreement between you ("User") and Paolo Tanzi, Partita IVA IT 02611230349 ("Noema", "we", "us"), governing your use of the Pragma Symphony desktop application ("Pragma", "the Application"). By installing or using Pragma, you accept these Terms in full. If you do not accept them, do not install or use Pragma. These Terms apply when you download and use the official Pragma Symphony binary distributed by us from noema.tools/download. Your use of the Application is also governed by the Pragma Symphony License, available at noema.tools/pragma/license, which these Terms complement and do not replace.

2. Description of Pragma Symphony

Pragma Symphony is a local-first desktop application that wraps Claude Code and visualizes its structured output as typed, navigable atoms — FILE_TOUCH, DIFF, TOOL_USE, ERROR, and AGENT_NOTE. It runs on your device and communicates with Claude Code running locally on the same machine. Pragma does not require an account, and its core functionality does not require an internet connection. It stores session data in a local SQLite database on your device. Pragma requires Claude Code to be installed and running; it has no independent AI capability. Pragma Symphony also includes an optional integration with Lexis, a project-memory service: it is disabled by default and, when you enable it, Pragma exchanges session data with the Lexis endpoint you configure, as described in the Privacy Policy.

3. Proprietary License

Pragma Symphony is proprietary software. Its source code is not published. Your right to use the Application is granted by the Pragma Symphony License (End User License Agreement), available at noema.tools/pragma/license and in the application's About section. Earlier versions of Pragma were released under the MIT License: copies of those versions lawfully obtained under the MIT License remain governed by that license. These Terms of Service govern your use of Pragma Symphony as a distributed application and coexist with the Pragma Symphony License — they do not replace it.

4. Free Use and Future Commercial Features

Pragma Symphony is currently free of charge. We reserve the right to introduce paid features, plans, or subscriptions in future versions — for example, integration with Morphē for architectural context, hosted Lexis project memory, or cloud-based session synchronization. Any such features will be: Clearly identified as paid or subscription-based before any purchase is required Subject to separate terms and pricing disclosed at the time of their introduction No paid features are active in the current version. This section will be updated when commercial features are introduced.

5. Claude Code and Anthropic

Pragma wraps Claude Code, which is a separate product developed by Anthropic, PBC. Use of Claude Code is governed by Anthropic's own terms of service and privacy policy, available at anthropic.com/legal. Use of Pragma requires a valid Claude Code installation and you are responsible for complying with Anthropic's terms of service. Pragma has no affiliation with Anthropic. We make no representations about Claude Code's availability, functionality, or continued operation. Changes to Claude Code's output format or CLI interface may affect Pragma's functionality.

6. Restrictions

You may not: Use Pragma for any unlawful purpose or in violation of applicable law Copy, distribute, sell, rent, or otherwise make the Application available to third parties, except as expressly permitted by the Pragma Symphony License Modify, adapt, or create derivative works of the Application Reverse engineer, decompile, or disassemble the Application, except to the extent expressly permitted by applicable law Remove or alter copyright, trademark, or other proprietary notices Use the Pragma or Pragma Symphony name, logo, or noema.tools branding without our written consent Represent that any software is the official Pragma Symphony application if it is not

7. Data and Privacy

Data handling is governed by the Pragma Symphony Privacy Policy, available at noema.tools/pragma/privacy. In summary: Pragma processes data locally on your device and transmits nothing to our servers. No account is required. No telemetry or analytics are collected. The only feature that can send session data outside the application is the optional Lexis integration, which is disabled by default and, when enabled, communicates exclusively with the endpoint you configure.

8. Third-Party Components

Pragma is built on open-source components including Tauri (MIT/Apache 2.0), Vue 3 (MIT), and rusqlite (MIT). These components are subject to their respective licenses; the applicable third-party notices are available in the application's About section. We make no claim of ownership over these components.

9. Disclaimer of Warranties

Pragma is provided "as is" without warranty of any kind, express or implied, including but not limited to warranties of merchantability, fitness for a particular purpose, or non-infringement. We do not warrant that Pragma will be error-free, uninterrupted, or compatible with all versions of Claude Code, all operating systems, or all hardware configurations. Claude Code's output format may change without notice, which may affect Pragma's parsing accuracy. Nothing in these Terms excludes or limits liability for death or personal injury caused by negligence, fraud, or any liability that cannot be excluded under Italian or EU law.

10. Limitation of Liability

To the maximum extent permitted by applicable law, Noema shall not be liable for any indirect, incidental, special, consequential, or punitive damages arising from your use of Pragma or reliance on its output. Since Pragma Symphony is provided free of charge, our total liability for any claim arising under these Terms shall not exceed €10. Separate liability terms will apply to any paid features when introduced.

11. Updates and Distribution

Pragma Symphony is distributed through noema.tools/download. We may release updates at any time. Updates are not applied automatically — you choose when to update. We reserve the right to modify or discontinue Pragma Symphony at any time. Discontinuation of distribution does not affect your right to keep using the copies you have already lawfully installed, under the terms of the Pragma Symphony License.

12. Termination

You may stop using Pragma at any time by uninstalling it. Since no account exists, no further action is required. We may suspend your access to official distribution channels (noema.tools/download) and terminate your license if you materially breach these Terms or the Pragma Symphony License.

13. Governing Law and Jurisdiction

These Terms are governed by Italian law. Any disputes arising from or relating to these Terms shall be subject to the exclusive jurisdiction of the courts of Parma, Italy, unless mandatory consumer protection laws in your country of residence require otherwise. If you are a consumer resident in the EU, you may also have the right to use the EU Online Dispute Resolution platform at ec.europa.eu/consumers/odr.

14. Changes to These Terms

We may update these Terms if Pragma Symphony's functionality or distribution model changes materially — in particular, when paid features are introduced. The current version is always available at noema.tools/pragma/terms.

15. Contact

For any questions regarding these Terms: Paolo Tanzi — privacy@lightweb.it Partita IVA IT 02611230349 Pragma Symphony Terms of Service v2.0