Terms of Service
The contract that governs your use of AetherCode, AetherProof, and related services. Verified-or-refunded is a real promise — and these terms define what "verified" means.
§ 01 Acceptance
By subscribing to the AetherCode API through RapidAPI or otherwise using any Aether service, you agree to these Terms. If you do not agree, do not use the services.
These Terms form a binding contract between you ("you", "Customer") and the operator identified in § 02.
§ 02 Who you contract with
| Operator | Hlias Staurou — sole proprietor (individual operator under Greek law) |
| Tax ID (AFM) | 102607797 |
| Jurisdiction | Athens, Greece |
| Contact | support@nous-lang.org |
§ 03 What we provide
We provide the following services:
- AetherCode — an OpenAI-compatible code-generation API. Subject to gate-based verification described in § 05. Paid, accessed via RapidAPI.
- AetherProof — a cryptographic signing service that issues Ed25519-signed receipts for verified AetherCode responses, anchored to the Sigstore Rekor public transparency log. The verifier (
pip install aetherproof-verify) is free and open. - NOUS — a formally-verified domain-specific language and runtime, distributed via PyPI (
pip install nous-lang) and documented at nous-lang.org. NOUS is free and open. NOUS uses an independent signing key separate from AetherProof; see § 12.
§ 04 Account, keys, and access
AetherCode access is provisioned through RapidAPI. Your API key is issued by RapidAPI and is your sole means of authentication. You are responsible for:
- Keeping your API key confidential.
- Rotating the key promptly if you suspect compromise.
- All usage attributable to your key, including overage charges.
We may revoke access immediately if we detect abuse, payment failure, or violation of § 06.
§ 05 The verified-or-refunded contract
This section defines exactly what we promise.
5.1 What counts as a "verified response"
A response is "verified" only if all of the following are true:
- The output consists of a single contiguous Python code block, with no surrounding prose or alternative-language blocks.
- All five ATLAS gates return success: (1) syntax parse, (2) static analysis, (3) sandbox execution, (4) output-schema match, (5) determinism (same input produces the same output across re-runs).
- An AetherProof receipt is attached to the response, signed under the AetherProof Ed25519 key with fingerprint
sha256:f95a45bd…a17e022, anchored in the Sigstore Rekor log.
5.2 What we charge for
Only verified responses count against your monthly request quota and incur overage charges (if applicable to your tier). The RapidAPI billing meter is configured to bill only on the verified-response path.
5.3 What we do not charge for
Responses that do not meet § 5.1 — including but not limited to multi-block outputs, non-Python languages, streaming responses, tool-call outputs, syntactically invalid code, and responses that fail any ATLAS gate — are not billed. You receive a 503 or a non-verified response with an explanatory error code; either way, no quota is consumed.
§ 06 Acceptable use
You will not, and will not allow others to:
- Use the API to generate malware, exploit code, ransomware, surveillance tooling, or code intended to violate the rights of third parties.
- Submit prompts that contain personal data of others (PII) you are not authorized to process.
- Submit prompts containing credentials, API keys, or secrets you do not control.
- Attempt to circumvent rate limits, ATLAS gates, or the receipt-signing process.
- Re-distribute the API or resell access without a written agreement with us.
- Use the service in violation of EU sanctions, export controls, or applicable law.
Violation may result in immediate suspension, key revocation, and where appropriate, referral to authorities.
§ 07 Intellectual property
- You retain all rights to the prompts you submit.
- You receive a non-exclusive, worldwide, royalty-free license to use the response output for any lawful purpose.
- We retain all rights to the AetherProof receipt format, the signing keys, the ATLAS verifier implementation, and the brand marks "Aether", "AetherCode", "AetherProof", "AetherShield", "Asklepios", and "NOUS".
- The AetherProof verifier and NOUS language are released under their respective open-source licenses, separate from these Terms.
§ 08 Disclaimers
In particular:
- An AetherProof receipt proves that a specific output was produced and gated at a specific hash at a specific time. It does not prove that the output is admissible evidence in any court, satisfies any specific regulatory regime, or remains accurate after subsequent modifications.
- Admissibility under the EU AI Act, GDPR, MiFID II, HIPAA, or any other regime is a continuous property of your overall system and is your responsibility, not ours.
- The LLM upstream may produce incorrect, biased, or hallucinated output. ATLAS gates catch a defined class of failures (syntax, static-analysis findings, sandbox crashes, schema mismatch, non-determinism). They do not validate correctness of business logic.
§ 09 Limitation of liability
This cap does not apply to: (a) liability that cannot be excluded under Greek mandatory law; (b) gross negligence or wilful misconduct by us; (c) violation of our intellectual-property rights or of § 06 by you (where the cap operates in our favour).
§ 10 Billing
All paid subscriptions are billed by RapidAPI under their own terms. We do not process payment cards directly. EU VAT is collected and remitted by RapidAPI where applicable. Invoices and receipts are issued by RapidAPI; we can confirm subscription status but not issue duplicate billing documents.
Tier prices, request limits, and overage rates are as published at our RapidAPI listing. We may change them with at least 30 days' notice via the RapidAPI platform.
§ 11 Refunds
The refund mechanism is described in detail in our separate Refund Policy. In short: unverified responses are automatically not billed; manual refund requests for billing disputes go through the RapidAPI dispute path; we will cooperate with such disputes in good faith.
§ 12 Independent trust roots
AetherCode and NOUS operate under independent Ed25519 signing keys:
| AetherProof key (for AetherCode receipts) | sha256:f95a45bd…a17e022 |
| NOUS manifest signing key | sha256:01f22210…0bc0790 |
An auditor verifying NOUS dossiers does not need to trust the AetherCode operator, and vice versa. This separation is intentional and load-bearing for compliance use cases.
§ 13 Term and termination
These Terms apply for as long as you have an active subscription or otherwise use the services. You may terminate at any time by cancelling your RapidAPI subscription. We may terminate or suspend access for material breach, abuse, or non-payment, on notice except where immediate action is necessary.
Sections that by their nature should survive termination (intellectual property, disclaimers, liability, governing law) do survive.
§ 14 Changes to these Terms
We may amend these Terms as the service evolves or as the operator's legal entity changes. Material changes will be announced on the landing page at least 14 days before they take effect. Continued use after the effective date constitutes acceptance.
§ 15 Governing law and jurisdiction
These Terms are governed by the laws of Greece, without regard to conflict-of-laws principles. The courts of Athens, Greece have exclusive jurisdiction over any dispute arising out of or in connection with these Terms, except where mandatory consumer-protection law of your residence grants you the right to sue locally.
§ 16 Severability and entire agreement
If any provision is held unenforceable, the remainder remains in effect. These Terms, together with the Privacy Policy and Refund Policy, constitute the entire agreement between you and us with respect to the services, and supersede any prior agreements on the same subject matter.
Last reviewed 16 June 2026 by the operator. Next scheduled review: upon incorporation, or 16 June 2027, whichever comes first.