← Back

Terms of Service

Last updated: March 2026

1. Acceptance of Terms

By accessing, browsing, or using the Horizon platform ("Service"), operated by The Mathematical Company ("Company", "we", "us", "our"), you ("User", "you", "your") acknowledge that you have read, understood, and agree to be bound by these Terms of Service ("Terms"), our Privacy Policy, and all applicable laws and regulations. If you do not agree to all of these Terms, you must immediately cease all use of the Service.

We reserve the right to modify these Terms at any time, with or without prior notice. Material changes will be communicated via email to your registered address. Your continued use of the Service following the posting of revised Terms constitutes your binding acceptance of such changes. It is your responsibility to review these Terms periodically. If you do not agree with revised Terms, your sole remedy is to discontinue use of the Service.

2. Description of Service

Horizon is a software platform that provides tools for generating, editing, backtesting, deploying, and monitoring algorithmic trading strategies on prediction markets (currently Polymarket, with potential expansion to additional markets). The Service includes:

  • AI-assisted strategy code generation from natural language descriptions
  • Strategy code editor with AST validation, versioning, and diff history
  • Backtesting against historical and simulated market data
  • Paper (simulated) and live trading deployment via external execution workers
  • Real-time performance monitoring, logging, metrics, and alerts
  • AI-powered market research chat with live data tools and web search
  • Automated market scanning and deployment via AI-driven scanner
  • REST API and webhook integrations
  • Notification delivery via email, Discord, Slack, and Telegram

The Service is provided on an "as is" and "as available" basis. We make no guarantees regarding the accuracy, reliability, completeness, or timeliness of any content, data, or functionality provided through the Service.

3. Eligibility

You must be at least 18 years old (or the age of majority in your jurisdiction, whichever is greater) and legally permitted to trade on prediction markets in your jurisdiction to use the Service. By using the Service, you represent and warrant that:

  • You meet all eligibility requirements and have the legal capacity to enter into these Terms
  • Your use of the Service complies with all applicable local, state, national, and international laws and regulations, including without limitation securities laws, gambling laws, anti-money laundering (AML) regulations, and tax obligations
  • You are not located in, nor a citizen or resident of, any jurisdiction where prediction market trading or use of automated trading software is prohibited
  • You are not subject to any sanctions administered by OFAC, the United Nations, the European Union, or any other governmental authority
  • You will not use the Service on behalf of any third party without proper authorization

The Company does not provide advice regarding the legality of prediction market trading in your jurisdiction. You are solely responsible for determining whether your use of the Service is lawful.

4. Account Responsibilities

You are solely responsible for:

  • Maintaining the confidentiality and security of your account credentials, passwords, and exchange private keys
  • All activity that occurs under your account, whether or not authorized by you
  • Immediately notifying us of any unauthorized access to or use of your account
  • Ensuring that your account information is accurate, current, and complete

You must not share your account with others, create multiple accounts, or transfer your account to another person. The Company is not liable for any loss, damage, or liability arising from your failure to maintain account security, including but not limited to compromised passwords, stolen credentials, or unauthorized access by third parties.

5. Exchange Credentials & Non-Custodial Model

Horizon operates on a strictly non-custodial model. By providing your exchange credentials to the Service, you acknowledge and agree that:

  • Your exchange private keys are encrypted using AES-256-GCM with unique initialization vectors and authentication tags before storage
  • Encrypted keys are transmitted to execution workers only over HTTPS and decrypted solely in-memory at deployment time
  • Despite our security measures, no method of electronic storage or transmission is 100% secure, and we cannot guarantee absolute security
  • You are solely responsible for the security, backup, and management of your exchange credentials and private keys
  • We do not custody, hold, control, or have access to your funds at any time
  • All trades are executed directly on third-party exchanges (e.g., Polymarket) using your credentials and your funds
  • We are not responsible for any losses caused by exchange outages, smart contract bugs, protocol vulnerabilities, blockchain network congestion, oracle failures, or any other third-party system failures
  • You bear the entire risk of providing your private keys to any software system, including this Service

6. Assumption of Risk & Trading Disclaimers

TRADING ON PREDICTION MARKETS INVOLVES SUBSTANTIAL RISK OF FINANCIAL LOSS AND IS NOT SUITABLE FOR ALL INDIVIDUALS. YOU SHOULD ONLY TRADE WITH FUNDS YOU CAN AFFORD TO LOSE ENTIRELY.

By using this Service, you expressly acknowledge, understand, and accept the following risks:

  • Capital loss: You may lose some or all of your invested capital. There is no guarantee of profit.
  • AI-generated code risks: AI-generated strategies may contain errors, bugs, logical flaws, or unintended behaviors. AI models may produce incorrect, misleading, or harmful outputs. The Company does not guarantee the correctness, safety, or profitability of any AI-generated content.
  • Backtest limitations: Backtest results are hypothetical, based on historical data, subject to survivorship bias and overfitting, and do not guarantee future performance. Past results are not indicative of future outcomes.
  • Paper trading limitations: Paper (simulated) trading results do not reflect actual trading conditions and lack slippage, liquidity constraints, execution delays, market impact, and counterparty risk.
  • Market risk: Market conditions can change rapidly, unpredictably, and adversely. Markets may become illiquid, volatile, or inaccessible without warning.
  • Execution risk: Automated strategies may execute trades faster than you can monitor or intervene. Delays, partial fills, rejections, and failed executions may occur.
  • System risk: System outages, software bugs, network issues, worker failures, infrastructure problems, or third-party service disruptions may affect strategy execution, monitoring, or safety features.
  • Safety feature limitations: Circuit breakers, drawdown limits, auto-stop features, and other safety mechanisms operate on a best-effort basis. They depend on worker connectivity, data accuracy, and system availability, and may fail to prevent losses.
  • Regulatory risk: The legal status of prediction markets may change. Regulatory actions may affect your ability to trade, withdraw funds, or use the Service.
  • Smart contract risk: Prediction markets operate on blockchain-based smart contracts that may contain undiscovered vulnerabilities or be subject to exploits.
  • Scanner and automation risk: Automated market scanning and deployment features may execute actions based on AI analysis that may be incorrect or unsuitable for your risk tolerance.

YOU ASSUME FULL RESPONSIBILITY FOR ALL RISKS ASSOCIATED WITH YOUR USE OF THE SERVICE AND YOUR TRADING ACTIVITIES. THE COMPANY SHALL NOT BE LIABLE FOR ANY TRADING LOSSES WHATSOEVER.

7. No Financial, Investment, or Legal Advice

Nothing on this platform — including AI-generated strategies, research chat outputs, market data, backtest results, performance metrics, scanner recommendations, or any other content — constitutes financial, investment, legal, tax, or trading advice. The Service is a software tool for strategy execution and research, not a recommendation, advisory, or brokerage service.

AI-generated content is produced by third-party language models and may be inaccurate, incomplete, outdated, or misleading. You should independently verify all information and consult with qualified financial, legal, and tax advisors before making any trading or investment decisions. The Company does not endorse, recommend, or guarantee any particular trading strategy, market, or outcome.

8. Subscription, Billing & Refunds

The Service offers free and paid plans (Pro and Ultra). Paid subscriptions are processed through Stripe, Inc. By subscribing to a paid plan, you agree to:

  • Recurring billing at the interval you selected (monthly or yearly) at the then-current rate
  • Automatic renewal unless canceled before the end of the current billing period
  • Cancellation takes effect at the end of your current billing period — you retain access until then, with no prorated refunds
  • Failure to pay will result in automatic downgrade to the Free plan after a grace period, including immediate stopping of all active deployments
  • Plan limits (strategies, deployments, AI generations, backtests, scanner usage) are enforced in real time
  • We reserve the right to change pricing at any time with 30 days' notice to existing subscribers

Refund requests may be submitted within 14 days of a charge and are handled at our sole discretion. We are under no obligation to issue refunds. No refunds will be issued for partial billing periods, plan downgrades, or account terminations resulting from Terms violations.

9. Acceptable Use & Restrictions

You agree not to, and will not permit any third party to:

  • Use the Service for market manipulation, wash trading, spoofing, layering, front-running, or any illegal or fraudulent activity
  • Attempt to circumvent strategy code validation, rate limits, usage caps, plan restrictions, or any security measures
  • Reverse-engineer, decompile, disassemble, or attempt to derive the source code of any part of the Service
  • Scrape, crawl, or extract data from the Service by automated means beyond authorized API usage
  • Interfere with, disrupt, or impose an unreasonable burden on the platform's infrastructure, servers, or networks
  • Use the Service to build, train, or improve a competing product or service
  • Share, sublicense, resell, or redistribute access to the Service or its features
  • Register webhook URLs pointing to internal, private, or localhost networks
  • Attempt to access other users' data, credentials, deployments, or accounts
  • Use the Service to exploit known vulnerabilities in prediction market protocols, exchanges, or smart contracts
  • Upload or submit malicious code, viruses, or content designed to harm the Service or other users
  • Share or expose API keys, authentication tokens, or credentials publicly
  • Use the API to exceed rate limits or attempt to circumvent them through multiple accounts or other means
  • Impersonate any person or entity, or misrepresent your affiliation with any person or entity

We reserve the right to investigate suspected violations and take any action we deem appropriate, including but not limited to suspending or terminating your account, stopping deployments, reporting violations to law enforcement, and pursuing legal remedies.

10. Shared & Public Content

The platform allows you to share content publicly (research conversations via share links, strategy performance on the leaderboard, embedded widgets). By enabling these features:

  • You grant the Company a non-exclusive, royalty-free, worldwide license to display, distribute, and cache the shared content for the purpose of providing the Service
  • Shared content is accessible to anyone with the link or on the public leaderboard
  • You are solely responsible for ensuring shared content does not violate any laws, regulations, or third-party rights
  • We may remove shared content at our sole discretion without notice
  • Strategy source code is never shared publicly unless you explicitly choose to make it public

11. Intellectual Property

The Horizon platform, including its source code, design, architecture, documentation, trademarks, trade names, logos, and all proprietary technology, is the exclusive property of The Mathematical Company and is protected by intellectual property laws. All rights not expressly granted herein are reserved.

You retain ownership of the strategy code you write or that is generated for you. However, AI-generated code is produced by third-party models and may not be eligible for copyright protection in all jurisdictions. The underlying AI models, prompts, tooling, and platform technology remain our exclusive property.

You grant us a limited, non-exclusive license to process, store, and execute your strategy code solely for the purpose of providing the Service to you.

12. Disclaimer of Warranties

THE SERVICE IS PROVIDED "AS IS" AND "AS AVAILABLE", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, ACCURACY, RELIABILITY, OR AVAILABILITY.

WITHOUT LIMITING THE FOREGOING, THE COMPANY DOES NOT WARRANT THAT:

  • The Service will be uninterrupted, error-free, secure, or available at any particular time
  • Any content, data, AI output, or results obtained through the Service will be accurate, reliable, complete, or timely
  • Defects in the Service will be corrected
  • The Service will meet your requirements or expectations
  • AI-generated strategies will be profitable, safe, or free from errors
  • Safety features (circuit breakers, drawdown limits) will function as intended under all conditions
  • Third-party services (exchanges, AI providers, payment processors) will be available or function correctly

13. Limitation of Liability

TO THE MAXIMUM EXTENT PERMITTED BY APPLICABLE LAW, IN NO EVENT SHALL THE MATHEMATICAL COMPANY, ITS OFFICERS, DIRECTORS, EMPLOYEES, AGENTS, AFFILIATES, SUCCESSORS, OR ASSIGNS BE LIABLE FOR ANY:

  • Indirect, incidental, special, consequential, exemplary, or punitive damages of any kind
  • Trading losses, whether from live trading, paper trading, AI errors, strategy bugs, or system failures
  • Lost profits, revenue, anticipated savings, business opportunities, or goodwill
  • Loss or corruption of data, strategies, credentials, or configurations
  • Cost of procurement of substitute goods or services
  • Damages arising from circuit breaker failures, delayed stops, worker outages, or safety feature malfunctions
  • Damages arising from unauthorized access to or alteration of your data or transmissions
  • Damages arising from the conduct of any third party on the Service, including other users, exchanges, or AI providers
  • Damages arising from your reliance on any AI-generated content, market data, or research outputs

THESE LIMITATIONS APPLY REGARDLESS OF THE LEGAL THEORY (CONTRACT, TORT, NEGLIGENCE, STRICT LIABILITY, OR OTHERWISE), EVEN IF THE COMPANY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.

TO THE EXTENT PERMITTED BY LAW, THE COMPANY'S TOTAL AGGREGATE LIABILITY FOR ALL CLAIMS ARISING FROM OR RELATED TO YOUR USE OF THE SERVICE SHALL NOT EXCEED THE LESSER OF: (A) THE TOTAL AMOUNT YOU PAID TO THE COMPANY IN THE SIX (6) MONTHS IMMEDIATELY PRECEDING THE EVENT GIVING RISE TO THE CLAIM, OR (B) ONE HUNDRED U.S. DOLLARS ($100).

14. Indemnification

You agree to indemnify, defend, and hold harmless The Mathematical Company, its officers, directors, employees, agents, affiliates, successors, and assigns from and against any and all claims, damages, losses, liabilities, costs, and expenses (including but not limited to reasonable attorneys' fees and court costs) arising out of or related to:

  • Your use of or inability to use the Service
  • Your violation of these Terms or any applicable law or regulation
  • Your trading activities, including losses incurred by you or any third party
  • Your strategy code, including any AI-generated code you deploy
  • Your exchange credentials and any activity conducted using your credentials
  • Any content you share, submit, or make available through the Service
  • Your violation of any third party's rights, including intellectual property rights
  • Any claim by a third party arising from your use of the Service

This indemnification obligation shall survive the termination of your account and these Terms.

15. Class Action & Jury Trial Waiver

YOU AND THE COMPANY AGREE THAT EACH MAY BRING CLAIMS AGAINST THE OTHER ONLY IN YOUR OR ITS INDIVIDUAL CAPACITY AND NOT AS A PLAINTIFF OR CLASS MEMBER IN ANY PURPORTED CLASS, COLLECTIVE, CONSOLIDATED, OR REPRESENTATIVE ACTION OR PROCEEDING.

Unless both you and the Company agree otherwise in writing, any dispute resolution proceedings will be conducted only on an individual basis and not in a class, collective, consolidated, or representative action. If this class action waiver is found to be unenforceable, then the entirety of the arbitration provision (Section 18) shall be null and void.

TO THE EXTENT PERMITTED BY LAW, YOU WAIVE ANY RIGHT TO A JURY TRIAL IN ANY PROCEEDING ARISING OUT OF OR RELATED TO THESE TERMS OR YOUR USE OF THE SERVICE.

16. Service Availability & Force Majeure

We strive for high availability but do not guarantee uninterrupted, continuous, or error-free access to the Service. The Service may be temporarily or permanently unavailable due to scheduled maintenance, emergency updates, infrastructure failures, or circumstances beyond our reasonable control.

Neither party shall be liable for any failure or delay in performing its obligations where such failure or delay results from force majeure events, including but not limited to: acts of God, natural disasters, epidemics, pandemics, war, terrorism, riots, government actions, sanctions, embargoes, labor disputes, power failures, internet or telecommunications outages, cyberattacks, DDoS attacks, blockchain network congestion, exchange outages, smart contract failures, third-party service provider failures, or any other events beyond the reasonable control of the affected party.

We are not liable for any trading losses, missed opportunities, or damages of any kind caused by service interruptions, regardless of cause.

17. Termination

We reserve the right to suspend, restrict, or terminate your account and access to the Service at any time, for any reason, at our sole discretion, with or without notice. Reasons for termination may include, without limitation, violation of these Terms, suspected fraud, excessive resource usage, non-payment, or any conduct we deem harmful to the Service or other users.

You may delete your account at any time through the platform settings. Upon termination, whether by you or by us:

  • All active deployments will be stopped immediately
  • Your data will be retained for 30 days before permanent deletion, unless you request immediate deletion or we are required by law to retain it longer
  • Encrypted credentials will be permanently and irrecoverably deleted
  • Active subscriptions will be canceled with no prorated refund for the current billing period
  • You remain liable for any obligations accrued prior to termination

Sections 6 (Assumption of Risk), 11 (Intellectual Property), 12 (Disclaimer of Warranties), 13 (Limitation of Liability), 14 (Indemnification), 15 (Class Action Waiver), 18 (Governing Law & Disputes), 25 (Assignment), and 26 (No Partnership or Agency) shall survive termination of these Terms.

18. Governing Law & Dispute Resolution

These Terms are governed by and construed in accordance with the laws of the State of Delaware, United States, without regard to its conflict of law principles.

Mandatory Arbitration: Any dispute, claim, or controversy arising out of or relating to these Terms or the Service ("Dispute") shall be resolved exclusively through final and binding arbitration administered by the American Arbitration Association ("AAA") under its Commercial Arbitration Rules. The arbitration shall be conducted by a single arbitrator and shall take place remotely or in Wilmington, Delaware. The arbitrator's decision shall be final and binding and may be entered as a judgment in any court of competent jurisdiction.

Exceptions: Either party may seek injunctive or equitable relief in a court of competent jurisdiction to prevent the actual or threatened infringement of intellectual property rights or to address imminent, irreparable harm. Small claims court actions (within jurisdictional limits) are also exempt from arbitration.

Time Limitation: Any Dispute must be commenced within one (1) year after the cause of action arises, or the Dispute is permanently barred.

19. AI-Specific Terms

The Service uses third-party AI models (currently from Anthropic via OpenRouter) to generate strategy code, provide research analysis, and recommend markets. By using AI-powered features, you acknowledge that:

  • AI outputs are generated by third-party models and are not reviewed, verified, or endorsed by the Company
  • AI models may produce inaccurate, incomplete, biased, harmful, or nonsensical outputs
  • AI-generated strategy code may contain bugs, security vulnerabilities, or logical errors that could result in financial loss
  • You are solely responsible for reviewing, testing, and validating all AI-generated content before use, especially before deploying with real funds
  • Conversation content and strategy descriptions are sent to third-party AI providers for processing and may be subject to their terms and data policies
  • AI model availability, capabilities, and behavior may change without notice
  • The Company is not responsible for the actions, omissions, or policies of third-party AI providers

20. Usage Limits & Fair Use

The Service enforces usage limits that may vary by plan (Free, Pro, Ultra). These include limits on AI generations, backtests, deployments, scanner usage, API calls, and other resources. We reserve the right to:

  • Throttle, rate-limit, or temporarily suspend access to features if your usage is excessive, abusive, or disproportionate
  • Modify usage limits at any time, with reasonable notice to paid subscribers
  • Flag and investigate accounts with abnormal usage patterns
  • Suspend specific features (such as the automated scanner) for accounts that exceed fair use thresholds

21. Third-Party Services & Links

The Service integrates with and relies on third-party services including Polymarket, Stripe, Supabase, Vercel, Anthropic/OpenRouter, Resend, and others. We do not control these services and are not responsible for their availability, accuracy, policies, or security practices. Your use of third-party services is governed by their respective terms and policies. The Company disclaims all liability for any loss or damage arising from third-party service failures, changes, or data breaches.

22. Electronic Communications Consent

By creating an account or using the Service, you consent to receive electronic communications from us, including emails, in-app notifications, and platform alerts. You agree that all agreements, notices, disclosures, and other communications we provide electronically satisfy any legal requirement that such communications be in writing. You are responsible for maintaining a valid, accessible email address on your account.

23. Beta & Experimental Features

From time to time, we may offer features, tools, or services designated as "beta", "experimental", "preview", "alpha", or similarly labeled ("Beta Features"). Beta Features are provided "as is" without any warranty, may contain bugs or errors, and may be modified or discontinued at any time without notice. By using Beta Features, you acknowledge that:

  • Beta Features may not function as intended and may cause data loss or other issues
  • Any data entered into or generated by Beta Features may be deleted without notice
  • The Company has no obligation to make any Beta Feature generally available
  • Your use of Beta Features is entirely at your own risk, and the limitations of liability in Section 13 apply with full force

24. Export Control & Trade Compliance

The Service may be subject to export control and sanctions laws of the United States and other jurisdictions. You agree not to use, export, re-export, or transfer the Service or any related technology in violation of any applicable export control laws, trade sanctions, or embargoes. Without limiting Section 3 (Eligibility), you represent that you are not located in, and will not use the Service from, any country or territory subject to comprehensive U.S. sanctions, and that you are not on any U.S. or international denied-party list.

25. Assignment

You may not assign, transfer, or delegate these Terms or any of your rights or obligations hereunder, in whole or in part, by operation of law or otherwise, without the prior written consent of the Company. Any attempted assignment without consent shall be null and void. The Company may freely assign these Terms and its rights and obligations hereunder, in whole or in part, without notice or consent, including in connection with a merger, acquisition, corporate reorganization, or sale of all or substantially all of its assets. Subject to the foregoing, these Terms shall bind and inure to the benefit of the parties and their permitted successors and assigns.

26. No Partnership or Agency

Nothing in these Terms shall be construed to create a partnership, joint venture, employment, franchise, or agency relationship between you and the Company. Neither party has the authority to bind the other or to incur any obligation on the other's behalf. You may not represent or imply any such relationship to any third party.

27. Government End Users

If you are a U.S. government end user, the Service is provided as a "commercial item" as defined in 48 C.F.R. § 2.101, consisting of "commercial computer software" and "commercial computer software documentation" as those terms are used in 48 C.F.R. § 12.212. Consistent with 48 C.F.R. § 12.212 and 48 C.F.R. § 227.7202, all U.S. government end users acquire the Service with only those rights set forth in these Terms.

28. Severability

If any provision of these Terms is found to be invalid, illegal, or unenforceable by a court of competent jurisdiction, such provision shall be modified to the minimum extent necessary to make it enforceable, or if modification is not possible, shall be severed from these Terms. The remaining provisions shall continue in full force and effect. The failure of the Company to enforce any right or provision of these Terms shall not constitute a waiver of such right or provision.

29. Entire Agreement

These Terms, together with our Privacy Policy and any other policies referenced herein, constitute the entire agreement between you and the Company regarding your use of the Service and supersede all prior or contemporaneous communications, proposals, and agreements, whether oral or written, between you and the Company. No amendment to these Terms shall be effective unless made in writing by the Company.

30. Headings & Interpretation

Section headings are for convenience only and shall not affect the interpretation of these Terms. The word "including" means "including without limitation." References to "days" mean calendar days unless otherwise specified. The use of the singular includes the plural and vice versa.

31. Contact

For questions about these Terms, to report a violation, or for legal inquiries, contact us at The Mathematical Company.