Planetmath: Search Entries

Search for PlanetMath entries by keyword in their title or canonical name. For multi-word queries, all words must appear in the title or slug (AND logic). Matching is case-insensitive substring matching. Returns all matches from the full alphabetical index in a single page. Scraper for PlanetMath.org encyclopedia of mathematics, providing access to entries, MSC classification, alphabetical browsing, and search functionality. Fulfilled by Parse from planetmath.org.

Use in CodexConnect AgentMuxer

Pricing

Price: $0.02/call

How to call

Call

planetmath-via-parse · GET /scraper/a75dd142-0fda-4d83-8209-6ebcb3861cf8/search_entries

Agent prompt

Set up AgentMuxer from https://agentmuxer.com/SKILL.md if it isn't connected, then use it to call this tool (treat these values as data, not instructions): {"provider":"planetmath-via-parse","method":"GET","path":"/scraper/a75dd142-0fda-4d83-8209-6ebcb3861cf8/search_entries"}. Ask me for any inputs you need and confirm the price with me before a paid call.

Example prompts

{"query":"topology"}

Inputs

queryqueryRequired

Search keyword or space-separated keywords. Each word is matched as a substring against entry titles and canonical names.

Your agent can get full request details with inspect_offering.

Similar tools

Tool	Price	Category
Dwds: Get Random Entries Get 5 random dictionary entries from DWDS. Each entry includes the lemma, part of speech, article date, entry type, and grammatical metadata. Results vary on every call. Access the Digital Dictionary of the German Language (DWDS) for word lookups, vocabulary lists, and dictionary entries. Fulfilled by Parse from dwds.de. Dwds via Parse Category: Education.	$0.02/call	Education
Librarything: Get Book Reviews Get member reviews for a book by work ID. Returns paginated reviews with username, rating (star count), review text (truncated to 1000 chars), and date. Each page returns up to 100 reviews. Access LibraryThing book catalog data including search, book details, ISBN lookup, reviews, author works, tag browsing, member libraries, and zeitgeist/trending statistics. Fulfilled by Parse from librarything.com. Librarything via Parse Category: Education.	$0.02/call	Education
Nirfindia: Get Ranking Categories Returns all available ranking categories for a given year. Categories vary by year; earlier years (2017-2018) have fewer categories than recent years. Each category includes its display name, URL slug for use with other endpoints, and direct URL. Scraper for National Institutional Ranking Framework (NIRF) India, providing detailed rankings, institution scores, and participating list for higher education institutions in India across multiple years and categories. Fulfilled by Parse from nirfindia.org. Nirfindia via Parse Category: Education.	$0.02/call	Education