Display
Find

Find your next step

Filter public starting points, or search the full product catalog.

Public starting points

8 shown

Focused checks / Useful results

Make your next step
a little clearer.

Prepare text, check data against your rules, or trace the effects of a change. Each tool has a defined scope and a private result.

See a fictional example report →

A focused tool.
A clear scope.

Prefer to pay with a wallet?

Checking wallet choices…

Functional Dependency Candidate Keys

Compute attribute closure and all inclusion-minimal keys implied by supplied dependencies.

Compute attribute closure and all inclusion-minimal keys implied by supplied dependencies. One through 12 distinct attributes, at most 64 dependencies. Empty determinant and empty candidate key are allowed when implied. Enumerate at most 4096 subsets in cardinality/input-order bit-mask order; list keys in that order. Logical supplied dependencies only, not an inferred data-quality or normalization certificate. Supplied non-sensitive data only; no live account access, automated changes or certification. Profile 1.0.0: approximate non-integers use 12 significant digits; safe integers and declared integer strings are preserved.

Agent API guide → · Website orders show the report on your private order page.

The complete checkout request must fit within 40,000 UTF-8 bytes. Your input is validated again before an order is created.

Before you begin

Use non-sensitive information you are authorized to process. Do not include passwords, wallet keys, personal records or confidential material. Examples stay in your browser until you submit checkout.

Payment options appear only when available for your selected service. Confirmed payment starts processing. Save your private order link to retrieve the JSON result during its 30-day access period. These checks do not establish factual accuracy, regulatory compliance or complete dependency coverage.

Purchase terms and support · Privacy policy