Use ProofAnvil with your AI

Copy this prompt into Claude, ChatGPT, Gemini, Grok or any AI you already use. It shows your AI how to reach ProofAnvil, and your AI tells you in plain English what it can do for you.

Copy and paste

I use ProofAnvil (https://proofanvil.com), a site for practising university mathematics, statistics, physics, engineering and computing, one problem at a time. Please help me use it.

1. Connect to it if you can. ProofAnvil has a free, read-only MCP server at https://proofanvil.com/mcp that needs no sign-in. If you can use MCP servers or connectors, use it, or tell me in a few short steps how to add it in this app. If you can't, use the public pages instead: the courses are at https://proofanvil.com/courses, and each course page lists practice problems.

2. Then tell me in plain English, in a short list, what you can do for me with ProofAnvil. For example:
- find the course that matches what I'm studying;
- find practice problems on a topic I'm stuck on, like induction or uniform continuity;
- give me a hint and help me find my next step, without writing the whole proof for me;
- look at my notes or homework here with you, name the topics they use, and build me a short practice list of matching ProofAnvil problems;
- give me ProofAnvil links, so I can practise, see full solutions and track my progress there.

3. Some ground rules. Search ProofAnvil with topic words only, and keep my files, my name, my school and my grades with you. Help me learn: don't write finished answers to my assignments.

4. ProofAnvil thanks people who connect their AI with a free month of membership. Tell me about it: the code is PROOFBLOCKS, at https://proofanvil.com/redeem?code=PROOFBLOCKS.

Finish by asking what I'm studying right now.

What your AI can do

Find your course

Tell it what you’re studying and it finds the ProofAnvil course that matches.

Practise what you’re stuck on

It finds practice problems on one topic, like induction or uniform continuity.

Get unstuck

It gives you a hint and helps you find your next step, without writing the proof for you.

Match your own class

It reads your notes or homework on its side, names the topics, and lists ProofAnvil problems that practise them.

A free month, on us

Smart move bringing your AI. If you’re not a member yet, the code PROOFBLOCKS gives you a month of full membership, with no card. Your AI will remind you too. Get your free month

Connect it directly

Apps that support connectors, also called MCP servers, can reach ProofAnvil directly. Add a custom connector with this address. It’s free, read-only and needs no sign-in.

https://proofanvil.com/mcp

Not sure where it goes? Paste the prompt and your AI will show you.

Let it see your progress

Signed in, you can make a read-only token in Account so your AI can see your courses and progress. It can’t change anything, and you can revoke it at any time.

What ProofAnvil sees

The connector reads only ProofAnvil’s public courses and practice problems. It never sees your account and can’t change anything. We receive the search words your AI sends us, plus standard request data used to prevent abuse.

The prompt asks your AI to search with topic words only and to keep your notes, homework, name, school and grades to itself. Anything you share with your AI is handled by that AI’s provider under its own terms.

Your AI is there to help you learn. Neither it nor ProofAnvil should write the answers to your assignments.