Terms of Service of Pragma

Terms of Service Pragma Version 1.0 — April 2026 This agreement applies to the Pragma 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 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.

2. Description of Pragma

Pragma 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 entirely on your device and communicates only with Claude Code running locally on the same machine. Pragma does not require an account or internet connection to function. 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.

3. Open Source License

Pragma's core is released under the MIT License. The source code is publicly available at github.com/noema-tools/pragma. The MIT License grants you the rights to use, copy, modify, merge, publish, distribute, sublicense, and sell copies of the software, subject to the following condition: the above copyright notice and the MIT License text must be included in all copies or substantial portions of the software. The full MIT License text is included in the repository and in the application's About section. These Terms of Service govern your use of Pragma as a distributed application and coexist with the MIT License — they do not replace it.

4. Free Use and Future Commercial Features

Pragma's core functionality is and will remain free of charge, consistent with the MIT License. Future versions may introduce optional features that require a paid subscription — for example, integration with Morphē for architectural context, or cloud-based session synchronization. These features will be: Clearly identified as paid or subscription-based before any purchase is required Entirely optional — the core local-first functionality will remain available without payment 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

The MIT License grants broad rights to use and modify Pragma's source code. However, with respect to the distributed application, you may not: Use Pragma for any unlawful purpose or in violation of applicable law Distribute modified versions of Pragma under the Pragma name or noema.tools branding without our written consent Remove or alter copyright notices in the source code or distributed binaries Represent that a modified version of Pragma is the official Pragma application

7. Data and Privacy

Data handling is governed by the Pragma Privacy Policy, available at noema.tools/legal/privacy-pragma. In summary: Pragma processes all data locally on your device. No session content, file paths, or personal data are transmitted to external servers. No account is required. No telemetry or analytics are collected.

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, which are included in the repository. 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's core is provided free of charge, our total liability for any claim arising under these Terms with respect to the free tier shall not exceed €10. Separate liability terms will apply to any paid features when introduced.

11. Updates and Distribution

Pragma is distributed through noema.tools/download and GitHub Releases. 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 at any time. Given that Pragma is open source under the MIT License, discontinuation of official distribution does not affect your right to use, fork, or maintain your own version of the source code.

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 access to official distribution channels (noema.tools/download, GitHub Releases) if you materially breach these Terms. This does not affect your rights under the MIT License with respect to the source code.

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's functionality or distribution model changes materially — in particular, when paid features are introduced. The current version is always available at noema.tools/legal/terms-pragma and in the GitHub repository.

15. Contact

For any questions regarding these Terms: Paolo Tanzi — privacy@noema.tools Partita IVA IT 02611230349 Pragma Terms of Service v1.0