Pinocchio

Pricing

Pinocchio is paid for with prepaid credit in US dollars
New accounts receive US$10 of free credit
You can add credit in any amount from US$10
Each run is charged for the model usage it consumes, including runs that fail or are stopped
Credit never expires
Prices are in US dollars; customers in India pay in Indian rupees plus GST

Terms of Service

Pinocchio (“the Service”) is operated by GOEDEL MACHINES PRIVATE LIMITED (“Goedel Machines”, “we”, “us”), a company incorporated in India. By using the Service, you agree to these terms.

1. Description of Service

Pinocchio is a research preview built by Goedel Machines. You give it source files and a task, and it produces an Excel work product in which supported numerical results are traced back to the material you supplied.

2. Account and Access

You must sign in with a Google account to use Pinocchio. You are responsible for maintaining the security of your account. Pinocchio is currently a research preview: access may be limited, and features, limits, and availability can change without notice. Before your first result opens, we ask for a few details about you and what you are using Pinocchio for.

3. Credits and Payment

Pinocchio is paid for with prepaid credit in US dollars. Each run uses credit for the model usage it consumes, and runs that fail or are stopped are charged too. Starting a run requires a positive balance. A run that costs more than your remaining balance still finishes; your balance then goes below zero, and you owe that amount. Credit does not expire. Refunds follow our Refund and Cancellation Policy.

4. Your Source Material

You may upload documents and paste text as the sources for a task. You must have the right to share that material with us and to have it processed. By submitting a task, you grant Goedel Machines a licence to store, process, and transmit your source material and instructions as needed to provide and improve the Service, including sending them to the third-party AI model providers described in our Privacy Policy. You keep ownership of your source material and of the work products produced for you.

5. What a Verified Result Means

Pinocchio checks supported numerical derivations by replaying them from the material you supplied. A verified result means that derivation could be replayed from the cited source. It does not certify the source material itself, professional judgment, prose, formatting, or complete fulfilment of every instruction. Work that cannot be supported is stopped with an explanation rather than labelled verified. You remain responsible for deciding whether a work product is fit for your purpose.

6. Acceptable Use

You agree not to use Pinocchio to:

Upload material you do not have the right to share, including other people’s personal data you are not permitted to process
Violate any applicable laws or regulations
Attempt to gain unauthorized access to other users’ tasks, files, or results
Attempt to extract the Service’s internal prompts, verification logic, or credentials through a task
Interfere with or disrupt the Service

7. Intellectual Property

All content, features, and functionality of Pinocchio are owned by Goedel Machines. By using the Service, you do not acquire any ownership rights in it. The source material you upload and the work products produced for you remain yours, subject to the licence in section 4.

8. Disclaimer

Pinocchio is provided “as is” and “as available” without warranties of any kind, express or implied. We do not guarantee that the Service will be uninterrupted, error-free, or accurate. Pinocchio uses AI to produce work products, and AI outputs may be inaccurate or incomplete even where a derivation replays from its source. You are solely responsible for reviewing any work product before relying on it.

9. Limitation of Liability

To the maximum extent permitted by law, Goedel Machines and its officers, directors, employees, and agents shall not be liable for any indirect, incidental, special, consequential, or punitive damages, or any loss of data, revenue, or profits arising from your use of the Service.

10. Termination

We reserve the right to suspend or terminate your access to the Service at any time, for any reason, without prior notice.

11. Changes

We may modify these terms at any time. Continued use of the Service after changes constitutes acceptance of the updated terms.

12. Governing Law

These terms are governed by the laws of India. The courts at Hyderabad, Telangana have exclusive jurisdiction over any dispute arising out of or in connection with these terms or the Service.

13. Contact

Questions about these terms can be directed to hi@goedelmachines.com.

Privacy Policy

GOEDEL MACHINES PRIVATE LIMITED (“Goedel Machines”, “we”, “us”, “our”), a company incorporated in India with its registered office at 6th Floor, 8-2-672/5&6, Elias Mohammad Khan Estate, Road Number 1, Banjara Hills, Hyderabad, Telangana 500034, India, operates Pinocchio, a research preview available at pinocchio.goedelmachines.com.

Information We Collect

Account Information: When you sign in with Google, we receive your name, email address, and profile picture from your Google account. Google is used only to identify you.

Source Material and Instructions: The files you upload, the text you paste, and the instructions you write for each task. Source material contains whatever you choose to put in it, which can include personal or confidential information.

Task Records and Results: The tasks you submit, their progress, and the work products produced for you, including the evidence that traces each result back to your sources.

Preview Profile: Before your first result opens, we ask for your name, organisation, role, what you are using Pinocchio for, and whether we may contact you about the preview.

Technical Data: The session cookies that keep you signed in, and server logs of requests to the Service.

How We Use Your Information

To provide, operate, and maintain the Service
To authenticate you and manage your session
To produce the work product you asked for and check its numerical derivations against your sources
To show you your task history and results
To understand how the preview is used and to improve it
To communicate with you about the preview, where you have agreed to that
To comply with legal obligations

AI Model Providers

Producing a work product requires sending your source material and instructions to third-party AI model providers we select. Those providers process the data to generate and revise the work product, under their own terms. We may change providers during the preview; the model in use is shown when you start a task.

Google Data Usage

Pinocchio’s use of information received from Google APIs adheres to the Google API Services User Data Policy, including the Limited Use requirements. Specifically:

We only use Google sign-in to identify you: your name, email address, and profile picture
We do not request or access your Gmail, Calendar, Drive, or any other Google data
We do not sell Google user data to third parties
We do not use Google user data for serving advertisements

Data Storage and Security

We use industry-standard security measures to protect your data
All data is transmitted over HTTPS
Uploaded files and results are kept in private storage and served only to the account that created the task
Internal processing logs, which can include your instructions and excerpts of your sources, are kept for operator review and are never exposed through the Service

Data Retention

We retain your data for as long as your account is active or as needed to provide the Service
We may retain certain data as necessary to comply with legal obligations, resolve disputes, or enforce agreements
You can request deletion of your data by contacting us

Your Rights

You can sign out at any time from within the Service
You can revoke Pinocchio’s access from your Google Account at https://myaccount.google.com/permissions
You can request deletion of your account, source material, and results by contacting hi@goedelmachines.com

Third-Party Services and Data Sharing

We may share your information with third-party service providers who assist us in operating the Service: cloud hosting, database and file storage, authentication, and the AI model providers described above. These providers are bound by contractual obligations or their own published terms to protect your data. We do not sell your information. We may also disclose information if required by law or to protect our rights.

Changes to This Policy

We may update this Privacy Policy from time to time. We will notify you of significant changes by posting a notice on our website.

Contact

For questions about this privacy policy or your data, contact us at hi@goedelmachines.com. Our Terms of Service describe the conditions of use.

Refund and Cancellation Policy

Credit never expires
Credit spent on a run is not refundable
You can cancel a purchase and have it refunded, less the payment provider’s fees, if none of its credit has been spent: write to hi@goedelmachines.com
Free credit is spent first, then purchases oldest first, and a partly spent purchase is not refunded in part. If you buy US$10 twice and spend US$2, one US$10 purchase can be refunded; if you buy US$10 once and spend US$2, nothing can be
A run that fails because of a fault on our side is rerun at no charge

Shipping and Delivery Policy

Pinocchio, operated by GOEDEL MACHINES PRIVATE LIMITED, is a fully digital service. Nothing is shipped: there are no physical goods and no shipping charges.

1. Credit

Credit you buy is added to your account balance as soon as the payment provider confirms the payment. You can see your balance in the web app once you are signed in.

2. Work Products

Each task you submit runs in our cloud service. When a run completes, its work product is delivered in the web app, where you can open and download it from your task list. You can follow a run’s progress there while it works. A run that cannot produce a result it can support stops with an explanation in the app instead.

3. Access

Delivery requires signing in with the Google account that submitted the task. Results are served only to that account.

4. Problems With Delivery

If a payment was taken but your credit does not appear, or a completed run’s result does not open, write to hi@goedelmachines.com. Our Refund and Cancellation Policy describes what happens when a run fails because of us.

About and Contact

Pinocchio is a service by Goedel Machines. You give it source files and a task, and it produces a work product whose numbers trace back to the material you supplied.

GOEDEL MACHINES PRIVATE LIMITED
6th Floor, 8-2-672/5&6, Elias Mohammad Khan Estate
Road Number 1, Banjara Hills
Hyderabad, Telangana 500034
India

hi@goedelmachines.com

Terms & policies