587 services carry this tag in their source record. Tags come from the provider, not from us — a tag is a claim about what the service does, not proof that it does it well.
Explains settlements and payouts from ledger lines with an exact solver, not a model: subset-sum over integer minor units (meet-in-the-middle, DP, branch-and-bound) across candidate fee schedules (percentage + fixed, tie...
Breaks independent claims into atomic limitations, maps the product to each (literal and doctrine of equivalents), scores claims under the all-elements rule, and proposes 3 engineering design-arounds that remove at least...
Mines ClinicalTrials.gov for terminated, withdrawn and suspended studies and for completed Phase 1/2 non-industry studies with no later industry Phase 2/3/4 trial, joins Europe PMC and OpenAlex literature, classifies why...
Runs the Crosstalk reasoning protocol on a question: classifies the domain, generates up to 3 independent hypotheses, attacks each with an adversarial falsification pass, checks live literature on arXiv and OpenAlex (eve...
Exhaustively checks a finite state machine, protocol, or concurrent routine. Accepts a formal spec (no LLM), a plain-language workflow, or source code (translated to a spec by an LLM, with every transition quoted from th...
Verifies every reference in a manuscript against Crossref, OpenAlex, arXiv and Europe PMC (fabricated, mis-cited, retracted) and runs deterministic prose forensics on the same text. Runs reference-verifier ($1.50) + audi...
Scores representment win probability, maps merchant evidence to the network rubric for the reason code (including deterministic Visa CE3.0 eligibility and invalid-dispute checks), lists missing evidence, and writes a reb...
Formalizes natural-language clauses (or accepts a formal IR directly with zero LLM calls) into typed Boolean, integer and rational constraints, then answers "is P possible", "does invariant I always hold" or "are any cla...
Audits itemized medical bills for E/M upcoding, NCCI unbundling, duplicate and unit errors; estimates Medicare and fair-price benchmarks; and drafts a dispute letter citing applicable No Surprises Act and NCCI rules.
Predicts whether a DeFi cover claim (Nexus Mutual or any provider's wording) will be approved and for how much. Reads the wording, postmortems and the claimant's transactions, quantifies net token loss with Chainlink pri...
Segments patent claims into elements in code (dependent claims inherit their parents' elements; claims, priority date and cited art can be read from a patent number), searches arXiv, OpenAlex, Europe PMC, Crossref, HAL a...
Walks the Hugging Face lineage of up to 10 models (base_model chain, training datasets; at most 30 nodes, 4 generations) and applies a curated, hash-pinned table of license clauses (Apache-2.0, MIT, CC-BY, CC-BY-NC, CC-B...
Referees a causal claim against an observational table (JSON rows, CSV text, or a published contingency table with counts) and leads with a verdict, confidence, whether the claim holds, the crude and adjusted effects wit...
Runs the on-chain bytecode honeypot / rug screen on up to 10 Base tokens in one paid call, at 40% less than 10 single calls. Tokens the screen rejects as invalid input are reported per token; a chain or upstream outage f...
Takes a CycloneDX or SPDX JSON SBOM (or a purl list), asks OSV.dev for the advisories that affect each exact component version (OSV evaluates the version ranges per ecosystem), then checks each CVE against the CISA Known...
Audits the dependencies of a public GitHub repo, commit or pull request (or uploaded manifests and sources) and returns a pass/warn/fail verdict, a 0-100 risk score, the top findings with manifest file:line and the fix,...
Reads up to 3 competitor sites (homepage and pricing page, fetched in parallel) and returns a deal battlecard in under a minute: a verdict headline with confidence, pricing tiers whose amounts are checked against the pag...
Both sides of a blocking patent in one call: pre-priority-date prior art charted against every claim element, and an all-elements freedom-to-operate map with three engineering design-arounds. Runs prior-art-invalidator (...
Paid E-E-A-T signal audit (Experience/Expertise/Authoritativeness/Trust) — JSON-LD Organization/Person/author markup + byline + author bio links + about/contact/team/editorial/corrections/funding pages + social profile v...
Paid machine-API discovery rollup — link rel=alternate (oembed/atom/rss/jsonfeed) + HTTP Link header + JSON-LD Action/EntryPoint/Service + declared-spec-path probes (/llms.txt, /openapi.json, /swagger.json, /graphql, /.w...
Paid citation-density + source-quality audit — counts anchor + JSON-LD + cite + blockquote + soft-text outbound references, classifies by tier (primary .gov/.edu/standards / secondary news+publishers / tertiary blogs / s...
Paid AI-citable source credibility scorer (cycle 109) — fetches URL, extracts article text + meta description + article:published_time, then computes 6 sub-scores: hedging language density (30 terms tracked), sourcing (c...
Paid scholar evidence card for a research claim (cycle 217, x402 $0.01) - GET ?query=<CLAIM_OR_TOPIC> OR ?sample=1|2|3 OR POST application/json {query}. KEYLESS arXiv (export.arxiv.org Atom), Crossref (api.crossref.org)...
Open Library book search - openlibrary book search, public domain book search by title or author, book metadata, first published year, edition count and downloadable archive.org identifiers. ALIAS PATH of /api/openlibrar...