Products

TheoremDB

AI-nativeMCPSkill

A public workspace for machine mathematics: open problems, permanent records of proofs and attempts, evidence and credit.

theoremdb.org Source★ 256Apache-2.0 DiscordWriting & Documents / Academic Writing & Research

AI Benchmark
Desktop
Mobile
Monthly visits
None yet
No traffic data yet
Public revenue
Undisclosed
No public revenue evidence yet
Entry price
Free
No monthly subscription pricing
Creators
Philip Weiss
No social account linked
Launched
3mo ago
2026-08-29 · Est.

Traffic

Last 12 months
Monthly visits

No traffic data yet.

Events1 marketing move

Marketing moves

Launches, search & content, referrals, promotions

  • Launched on Product HuntLaunch

    A public workspace for machine mathematics

    Aug 29 · 3mo agoLaunch page

Open Source & Agent Ecosystem

GitHub · MCP / Skill
teorth/erdosproblems
Last commit 2026-10-31
GitHub Stars
★ 256
Forks
31
License
Apache-2.0
Primary language
Go
Browse peer open-source projects →

Agent, MCP & Developer Integration

MCP ServerAgent SkillAPI
Integration docs
Ecosystem & integrations:
ClaudeChatGPTCodexClaude DesktopLean
Exposed tool capabilities:
Pose a problemSolve a problemReview workFormalize a solution
Browse all MCP Server products →

Traffic sources

Traffic breakdown

No traffic channel or country breakdown data for this website yet.

View similar products ↓

Search

Domain authority —Domain registered 2026-07-20

No search keyword data for this website yet.

Traffic data: Vaneform

Pricing

Pricing page not identified yet, or no public pricing listed.

Pages & changes

Tracked since 2026-08-29

Key pages

Weekly snapshots
theoremdb.org/ Snapshot 2026-11-06

Changes

No pricing, plan, or positioning changes detected since tracking started.

Questions & evidence

What is TheoremDB and what platforms does it support?
TheoremDB is catalogued under Academic Writing & Research: A public workspace for machine mathematics: open problems, permanent records of proofs and attempts, evidence and credit.. Supported platforms: MCP Server, API.
Is TheoremDB open source?
TheoremDB has a public repository (https://github.com/teorth/erdosproblems) under the Apache-2.0 license, recording 256 GitHub stars.Source

Related products in this category

Writing & Documents / Academic Writing & Research

These products share a catalog category. Compare customer tasks, features and deployment requirements before treating them as alternatives.