Mathlib4

AnythingLLM

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

Document chat

Open

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!

385 Reply Share Delete Report

Share

Released 1y ago

100% Free

23,735

273

4.4

MathSolver.top

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

Math problems

Open

18,303 www.mathsolver.top

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

151 Reply Share Delete Report

Share

Released 1y ago

Free + from $7/mo

40,734

145

3.8

Mathly

AI-powered math tutor in your pocket.

Math problems

Open

Share

Released 2y ago

No pricing

15,308

106

1.0

Spellbox v1

Create code from prompts with AI in seconds.

Code explanations

Open

935 spellbox.app

Share

Released 3y ago

From $40.00

10,136

91

Wolframalpha

Compute expert-level answers with AI technology

Answers

Open

Share

🇺🇸 United States

Released 7y ago

Free + from $5/mo

8,287

87

3.6

MyMathSolver

Solve complex math problems with AI-powered precision.

Math problems

Open

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

Share

Released 1y ago

Free + from $9.9/mo

2,610

68

4.8

AISheets v2.0

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

Interactive learning

Open

49,059 www.aisheets.study

Share

Released 4mo ago

Free + from $9

52,503

50

4.0

Synthesis Tutor

Empower your child with a superhuman math tutor.

Math lessons

Open

Share

🇺🇸 United States

Released 2y ago

Free + from $29/mo

7,431

49

Mathtutor

Your interactive math tutor for guided problem-solving.

Math lessons

Open

Share

Released 2y ago

From $2.10

5,319

38

3.5

iLib

AI-powered reputation curation in one place.

Review management

Open

Share

Released 8mo ago

100% Free

1,653

26

3.0

$Chat 4O AI | Math Solver$

Chat 4O AI | Math Solver

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

Math problems

Open

Leo Li

🙏 124 karma

Sep 16, 2025

@Chat 4O AI | Math Solver

I like the AI Math Solver for my math problem.

263 Reply Share Delete Report

Share

Released 2mo ago

Free + from $7.99/mo

1,665

20

3.5

$Math AI$

Math AI

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

Math problems

Open

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

Share

Released 3mo ago

Free + from $3.9/mo

1,569

20

4.2

$AI Math Solver$

AI Math Solver

AI-powered solution for any math problem.

Math problems

Open

1,227 www.aimathsolve.com

Can’t solve basic problems of a 4th grader, of triangle and adjacent angles.

4 Reply Share Delete Report

Share

Released 1y ago

Free + from $9.9/mo

5,659

20

3.5

Graphlit

Build AI apps that transform data into knowledge.

Apps

Open

Share

🇺🇸 United States

Released 2y ago

Free + from $49/mo

1,522

15

5.0

Moogle

Efficient mathlib4 theorem exploration and navigation.

Lean search engine

Open

Share

Released 2y ago

100% Free

1,728

14

2.0

$Math AI$

Math AI

Solve math instantly with AI-powered screenshots.

Math problems

Open

1,707 mathai.online

Share

Released 1y ago

100% Free

2,722

11

5.0

Solvely

Solve any subject with AI-powered photo analysis

Homework

Open

2,409 solvely.ai

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

Share

Released 1y ago

Free + from $12.99/mo

3,350

9

5.0