Mathlib4

Moogle

Efficient mathlib4 theorem exploration and navigation.

Lean search engine

Open

1,698

14

2.0

Released 1y ago

100% Free

Share

Mathly

AI-powered math tutor in your pocket.

Math problems

Open

15,194

106

1.0

Released 2y ago

No pricing

Share

MyMathSolver

Solve complex math problems with AI-powered precision.

Math problems

Open

2,560

68

4.8

Released 1y ago

Free + from $9.9/mo

Share

Muntaha Islam

🙏 1 karma

Sep 9, 2024

It solved a tricky question at the first instance. Although, when I asked this question again, it missed it just by an inch. 4/5, highly recommended.

1 Reply Share Delete Report

Mathful

Instantly solve math problems with step-by-step solutions.

Math problems

Open

868

5

Released 1y ago

From $4.90/mo

Share

$Math AI$

Math AI

Solve math instantly with AI-powered screenshots.

Math problems

Open

861

11

Released 1y ago

100% Free

Share

$Math Bot$

Math Bot

Instant math solutions with AI-powered guidance

Math problems

Open

884

6

Released 1y ago

Free + from $6.9/mo

Share

Synthesis Tutor

Empower your child with a superhuman math tutor.

Math lessons

Open

7,344

49

Released 2y ago

Free + from $29/mo

Share

Solvely

Solve any subject with AI-powered photo analysis

Homework

Open

2,167

9

5.0

Released 1y ago

Free + from $12.99/mo

Share

1,344 solvely.ai

Umer Colville

🙏 22 karma

Aug 1, 2025

Such a nice tool. I uploaded a few integrals that had me completely stuck and it solved them INSTANTLY, with step by step super clear explanations. Great tool if you’re struggling with math

Reply Share Delete Report

04-x

Privacy-first chat with powerful AI models

Chatting

Open

1,992

5

Released 2y ago

Free + from $0.060

Share

Calcish

Calculator, JavaScript, AI, and notebook in one tool.

Calculations

Open

244

1

Released 1y ago

Free + from $49.99

Share

MathSolver.top

Get every math problem answer in 10s with 98%+ accuracy!

Math problems

Open

35,472

143

3.9

Released 1y ago

Free + from $7/mo

Share

13,897 www.mathsolver.top

Nariman Mohamed

🙏 17 karma

Sep 10, 2024

The tutor mode is amazing. It helped me understand the equation and how I can solve it step by step with the explanation.

15 Reply Share Delete Report

Gauth

Your AI homework helper for all subjects

Homework

Open

2,157

5

Released 3y ago

Free + from $10.8/mo

Share

$Math AI$

Math AI

Your AI math tutor offers step-by-step solutions.

Math problems

Open

920

12

4.4

Released 1mo ago

Free + from $3.9/mo

Share

Devin Zhang

🛠️ 1 tool 🙏 4 karma

Aug 9, 2025

Math AI has revolutionized how I approach complex mathematical problems. Whether it's statistics or advanced calculus, Math AI provides clear, detailed solutions. The best part is how it explains related concepts!

4 Reply Share Delete Report

DrLambda

Be an expert, AI-powered

Learning

Open

3,060

32

5.0

Released 2y ago

Free + from $10.62/mo

Share

Mathtutor

Your interactive math tutor for guided problem-solving.

Math lessons

Open

5,279

38

3.5

Released 2y ago

From $2.10

Share

Wolframalpha

Compute expert-level answers with AI technology

Q&A

Open

8,238

87

3.6

Released 7y ago

Free + from $5/mo

Share

AISheets

Learning shouldn't be a chore. Gamify your learning with AISheets.study.

Interactive learning

Open

43,392

40

4.0

v2.0 released 2mo ago

Free + from $9

Share

40,239 www.aisheets.study

Matik

AI automates personalized presentations from your data.

Presentations

Open

346

2

5.0

Released 6d ago

No pricing

Share

AnythingLLM

All-in-one private LLM and RAG desktop app for Mac, Windows, and Linux

Document Q&A

Open

23,106

256

4.4

Released 1y ago

Share

Francisco Bischoff

🙏 33 karma

Apr 15, 2024

AnythingLLM is easy to use, and allows us to build private databases using several (any) kinds of media (text, pdf, audio, etc) and use it as a source of knowledge for any LLM you might wonder to experiment!

334 Reply Share Delete Report