Mathlib4

AnythingLLM

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

Document chat

Open

23,306

261

4.4

Released 1y ago

100% Free

Share

Francisco Bischoff

🙏 36 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!

364 Reply Share Delete Report

MathSolver.top

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

Math problems

Open

38,217

143

3.8

Released 1y ago

Free + from $7/mo

Share

16,236 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

Mathly

AI-powered math tutor in your pocket.

Math problems

Open

15,275

106

1.0

Released 2y ago

No pricing

Share

Spellbox

Create code from prompts with AI in seconds.

Code explanations

Open

9,181

91

v1 released 3y ago

From $40.00

Share

33 spellbox.app

Wolframalpha

Compute expert-level answers with AI technology

Answers

Open

8,259

87

3.6

Released 7y ago

Free + from $5/mo

Share

Synthesis Tutor

Empower your child with a superhuman math tutor.

Math lessons

Open

7,400

49

Released 2y ago

Free + from $29/mo

Share

Mathtutor

Your interactive math tutor for guided problem-solving.

Math lessons

Open

5,300

38

3.5

Released 2y ago

From $2.10

Share

AISheets

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

Interactive learning

Open

50,691

49

4.0

v2.0 released 3mo ago

Free + from $9

Share

47,346 www.aisheets.study

DrLambda

Be an expert, AI-powered

Learning

Open

3,074

32

5.0

Released 2y ago

Free + from $10.62/mo

Share

Solvable

Download Solvable and enjoy it on your device.

Math calculator

Open

2,799

5

5.0

Released 1y ago

Free + from $0.99

Share

MyMathSolver

Solve complex math problems with AI-powered precision.

Math problems

Open

2,593

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

Gauth

Your AI homework helper for all subjects

Homework

Open

2,353

5

5.0

Released 3y ago

Free + from $10.8/mo

Share

94 www.gauthmath.com

04-x

Privacy-first chat with powerful AI models

Chatting

Open

2,006

5

Released 2y ago

Free + from $0.060

Share

Moogle

Efficient mathlib4 theorem exploration and navigation.

Lean search engine

Open

1,716

14

2.0

Released 2y ago

100% Free

Share

iLib

AI-powered reputation curation in one place.

Review management

Open

1,633

26

3.0

Released 7mo ago

100% Free

Share

$Chat 4O AI | Math Solver$

Chat 4O AI | Math Solver

Solve Math Problems Instantly with AI-Powered Step-by-Step Explanations

Math problems

Open

1,472

20

3.5

Released 1mo ago

Free + from $7.99/mo

Share

Leo Li

🙏 124 karma

Sep 16, 2025

I like the AI Math Solver for my math problem.

263 Reply Share Delete Report

$Math AI$

Math AI

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

Math problems

Open

1,311

19

4.5

Released 2mo 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

$Math AI$

Math AI

Solve math instantly with AI-powered screenshots.

Math problems

Open

1,151

11

Released 1y ago

100% Free

Share

208 mathai.online

$Math Bot$

Math Bot

Instant math solutions with AI-powered guidance

Math problems

Open

1,002

6

Released 1y ago

Free + from $6.9/mo

Share

83 math.bot

Mathful

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

Math problems

Open

884

5

Released 1y ago

From $4.90/mo

Share

Solvely

Solve any subject with AI-powered photo analysis

Homework

Open

2,786

9

5.0

Released 1y ago

Free + from $12.99/mo

Share

1,903 solvely.ai

Umer Colville

🙏 23 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