"A server for finding information about math" matching MCP tools:

• get_corpus_coverageA

  SRI — MCP Server InspectorA

  No arguments. Returns how many MCP servers have been read at source level, and the share of them with each category of finding (credential access, network egress, install-time execution, prompt-injection surface). Use this to judge whether checking a specific server is worth it before you look one up. It reports aggregate counts only - no per-server findings, and no verdict about any individual server.

  ConnectorNo auth

• query_sec_metric_exactA

  Calera FINSEC — Certified SEC MemoryA

  Exact EDGAR metric recall for company+metric+period. Server-side verified fact with provenance; SAFE_REFUSAL when missing. No LLM math.

  ConnectorNo auth

• ask_cre_questionA

  Relendi — Commercial Real Estate Loan ToolsA

  Ask a plain-English question about commercial real estate lending and get a short answer grounded in Relendi's knowledge base, with citations. For loan math prefer size_loan or run_scenario, which are exact.

  ConnectorNo auth

• ask_cre_questionA

  Relendi — Commercial Real Estate Loan ToolsA

  Ask a plain-English question about commercial real estate lending and get a short answer grounded in Relendi's knowledge base, with citations. For loan math prefer size_loan or run_scenario, which are exact.

  ConnectorNo auth

• how_we_are_paidA

  PreShiftIQA

  States how PreShiftIQ is paid: buyers pay nothing, and what a vendor pays never enters the matching math. Use this when a user asks about cost, fees, or independence.

  ConnectorNo auth

• neuron_get_ad_requestA

  neuronB

  Get detailed information about a specific ad request, including pool selections if targeting mode is manual.

  ConnectorNo auth

• goal-register-iteration-findingA

  Planner (proof-of-done)A

  Register an immutable LeanSolver finding against the currently tracked goal contract. subjectRefs must be goal-scoped refs of kind goal, criterion, or assumption. Returns the server-generated finding id to pass later as addressesFindingId; rejects stale contract tracking.

  ConnectorNo auth

• goal-register-iteration-findingA

  Planner MCP — provable "done" for AI agentsA

  Register an immutable LeanSolver finding against the currently tracked goal contract. subjectRefs must be goal-scoped refs of kind goal, criterion, or assumption. Returns the server-generated finding id to pass later as addressesFindingId; rejects stale contract tracking.

  ConnectorNo auth

• web_search_exaA

  exaA

  Search the web for any topic and get clean, ready-to-use content. Best for: Finding current information, news, facts, people, companies, or answering questions about any topic. Returns: Clean text content from top search results. Query tips: describe the ideal page, not keywords. "blog post comparing React and Vue performance" not "React vs Vue". Use category:people / category:company to search through Linkedin profiles / companies respectively. If highlights are insufficient, follow up with web_fetch_exa on the best URLs.

  ConnectorNo auth

• get_mission_statsA

  mcp-serverA

  Get aggregate statistics about missions on the HomeVisto platform. Returns total counts, status breakdown, and average bounty information. Useful for understanding platform activity.

  ConnectorNo auth

• getCoinByIdA

  CoinPaprikaA

  Get descriptive project information about a coin: description, links, team and tags. Use for 'tell me about Uniswap', 'what is this project'. Does NOT include price; for price and market cap use getTickersById. Read-only; coinId is a canonical id (resolve with resolveId). No API key required.

  ConnectorNo auth

• get_company_profileA

  mcpA

  Complete company information for Everstake: overview, metrics, certifications, products, clients, and contact details. Use when users need comprehensive facts about Everstake as a company.

  ConnectorNo auth

• report_false_positiveA

  RelvatoB

  Tell Relvato's team a run's result is wrong (it failed or warned about something that's fine). Sends the run's details and your note to Relvato's support team; it changes nothing on the run. To stop being told about a finding, use ignore_finding.

  ConnectorNo auth

• report_false_positiveA

  RelvatoA

  Tell Relvato's team a run's result is wrong (it failed or warned about something that's fine). Sends the run's details and your note to Relvato's support team; it changes nothing on the run. To stop being told about a finding, use ignore_finding.

  ConnectorNo auth

• search_datasetsA

  OpenaireA

  "Find research datasets about [topic]" / "open data on [subject]" / "look up [field] datasets" — search research datasets registered in OpenAIRE (Zenodo, Dryad, Figshare, B2SHARE etc.). Use for finding open research data to reuse / cite.

  ConnectorNo auth

• getV01ServersServerNameVersionsVersionA

  MCP Registry ServerA

  Get specific MCP server version - Returns detailed information about a specific version of an MCP server. Use the special version `latest` to get the latest version.

  ConnectorNo auth

• searchTiktokUsersA

  Social Media Search API — Twitter, Instagram, Reddit, TikTok (XPOZ)A

  Search Tiktok users by name or username via external API. Use for: Name-based search, finding multiple candidates, fuzzy matching, discovering users. NOT for: Exact username lookup (use getTiktokUser when username is certain). Optional fields parameter for performance (default: ["id", "username", "nickname"]). Returns: array of matching users (default 10, max 10). This is a safe, read-only tool for analyzing searchable information.

  ConnectorOAuth

• archive_corroborationA

  EpovestA

  Record that the page is no longer there (article unpublished, link dead), or put it back live with archived false. Nothing is deleted: the line stays, and so does the history, because "they talked about us from March to July" is information. A page taken down stops counting as a presence on that source. Only take down after actually re-reading the address and finding it gone.

  ConnectorNo auth

• check_tokenA

  Media Generator — Images, Videos & AudiosA

  Check the current user's token status and account information. This tool retrieves information about: - User ID - Paid account status - Remaining generation tokens (for non-paid users) - Account validity Returns: A JSON string containing token status and account information

  ConnectorOAuth

• getVpsPackageDetailsA

  OSIR Domain RegistrarA

  getVpsPackageDetails: Get detailed information about a specific VPS package including all pricing tiers. Requires authentication. For anonymous browsing use listVpsPackages, which already includes per-term pricing.

  ConnectorNo auth

• statusA

  CourtListenerB

  Check the status of the CourtListener MCP server. Returns: A dictionary containing server status, system metrics, and service information.

  ConnectorNo auth