549 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.
Deterministic prose forensics: word echoes within 50 words, repeated 3-6-grams, sentence-starter runs, hedge/filter/passive/nominalization density, burstiness, MATTR, Flesch-Kincaid, vocabulary fingerprints, AI syntactic...
Honeypot / rug screening from live Base bytecode plus a Solidity audit of the token's verified source. Source is fetched from Sourcify (following EIP-1967/zeppelinos proxies to the implementation) when not supplied; unve...
Fetches an arXiv paper's full text (ar5iv), selects method, pseudocode, hyperparameter tables and ablations, and returns a core-algorithm summary, hyperparameters each with a source pointer and a verbatim quote verified...
Before moving treasury funds out of an ERC-4626 or ERC-7540 vault: reads the chain at one pinned block and returns how much can exit now, the haircut vs convertToAssets, partial-exit maximum, liquidity coverage, queue/co...
Takes 2 to 4 papers (DOI, arXiv id or PMID) on a shared question and finds where their reported numbers conflict. Fetches the best available text (ar5iv, Europe PMC full text, else abstract), extracts quantitative claims...
Mines non-English scientific literature (OpenAlex, Crossref, HAL, J-STAGE, Europe PMC) for work with no English-language twin: native-terminology keyword plan per language, English-twin screening, English methodology tra...
Classifies a product under the HS/HTS with GRI reasoning, estimates MFN and additional duties, lists defensible lower-duty alternatives and lawful physical tariff-engineering changes, and drafts an accurate commercial in...
Audits an agency's public-records response: computes the statutory response deadline and days late (California CPRA, with the court-day calendar and § 7922.535 extension rules), flags redactions without an exemption cita...
Collects papers for a topic or seed list (arXiv, OpenAlex), reads full text from ar5iv or Europe PMC, and extracts future-work, limitation and open-question sentences in code with exact section spans. Near-duplicates are...
Parses a bibliography (BibTeX, LaTeX \bibitem, plain-text list, arXiv id via ar5iv, or PDF URL) and resolves every reference against Crossref, OpenAlex, arXiv and Europe PMC by DOI, arXiv id, PMID or scored title/author/...
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...