All Services

Given a URL, detects which ARIA properties a component API exporter would silently lose because they are unsupported or prohibited for the element's explicit concrete ARIA role, and returns a closure report of those mismatches.

Replays and validates IndexedDB cursor transactions including key-range scans, object store index operations, and transactional updates against a bounded artifact ledger.

Matches ordered bounded macro_rules token-tree arms, reconstructs the hygienically tagged structural transcription, and verifies the result against a claimed SHA256 hash.

Recovers effective TeX noad classes and all inserted inter-atom math glue, including binary-operator reclassification and style-dependent transitions, then verifies the result against a SHA-256 claim.

Analyzes a CSS border-image declaration to determine how source image pieces bind to nine target regions, accounting for transparency, outset, and target-width adjustments.

Validates a claimed count of best common ancestors (merge bases) for two or more anonymous Git commit tips by checking the antichain structure.

Validates claimed C++ exception unwind catch-frame selection and destructor ordering for a given unwind scenario

Tracks document-wide citation nesting depths of declared CSS pseudo-elements and reports underflows, unclosed depths, and states continued across siblings before an exporter treats quotes as local tree nesting.

Analyzes a URL's HTML/CSS to identify inline splits and anonymous block runs caused by in-flow block descendants within a declared inline component, before moving it into a block-flow container.

Analyzes declared CSS gradient transition hints to detect how they alter local color-mixing weights, flagging nonlinear and abrupt intervals before image rendering.

Performs independent component analysis on two-channel signal data using fourth-cumulant (kurtosis-based) methods to recover non-Gaussian source projections and stationary-contrast artifacts.

Recovers D-Bus well-known-name ownership, replacement/queue flags, and disconnect/release notifications state before a bus-name handover

Verifies the ordered-monomial (PBW basis) coefficients of a universal enveloping algebra expression against an explicitly supplied Lie bracket tensor.

Evaluates a typed IMAP search condition tree against a set of mailbox messages and verifies the result set against a canonical SHA256 claim

Reconstructs an IMAP message threading forest using REFERENCES headers and subject merging, then validates the result against a canonical SHA256 claim

Analyzes a web page URL to detect and report native CSS stacking-context forest structure and DOM sibling-context paint order inversions for layering debugging.

Computes which IKEv2 message IDs fit within the peer request window, how out-of-order responses shift the window lower edge, and how independent directions and new-SA counters preserve pending request identities.

Processes a sequence of IPv6 Neighbor Advertisement messages to determine whether each advertisement validates, replaces, preserves, or stales an existing neighbor cache entry and whether the router role is withdrawn under override rules.

Validates claimed epoll event deliveries against a ready-list using edge-triggered, level-triggered, and one-shot rearm rules

Recovers and validates OSPF graceful restart helper state, including admission topology, timeout ledger, and exit duties for RFC 3623 compliance.

Simulates and validates how an NNTP cursor changes under numeric retrieval, nearest-article navigation, and Message-ID retrieval across groups and crossposted articles.

Simulates a fixed-bed chromatography column using axial dispersion and Langmuir kinetics, returning breakthrough curves and inventory ledger data for specified time steps.

Computes which peers/slaves receive bind operations, which source submounts are pruned by rbind, and how new root clones inherit or merge peer/master groups for Linux namespace mount propagation planning.

Analyzes and explains why `line-height:1.5` and `line-height:150%` produce the same nominal height on a parent element but diverge after a child font-size change, verifying actual computed inheritance behavior without fabricating font metrics.

Replays and validates ZooKeeper atomic multi-operation sequences, version checks, one-shot watch event firing, and ephemeral node cleanup against a claimed post-state ledger.

Validates and resolves DNS RRset credibility replacement rules per RFC 2181, returning authoritative cache state, expiry, and indivisible record set contents after ranked-source processing.

Computes the measured area allocation across content, padding, border, and margin regions of an element's box model in an offline (headless) rendering context.

Performs jeu de taquin rectification on a skew standard Young tableau and verifies the resulting straight standard Young tableau.

Validates a claimed coefficient sum produced by flat YAML-1.1 merge-key inheritance with explicit overrides across a sequence of maps.

Validates and traces POSIX asynchronous I/O operation lifecycles including control-block generation, cancellation aggregation, and exactly-once completion-result retrieval across file descriptor groups.

Validates a claimed count of conflicting regions produced by three-way line-level merges given explicit base, left, and right edit sets.

Determines which declared text nodes inherit underline/decoration lines from ancestor elements and where box boundaries terminate that propagation, before an HTML/CSS exporter converts decorations into local attributes.

Analyzes a web page URL to identify gaps between native focusable accessibility tree (AX) nodes and their layout projections, plus DOM ancestor contractions in actual AX parent edges.

Validates claimed readable byte counts against a synthetic canonical terminal edit trace, verifying consistency of terminal control signals and byte sequences.

Analyzes an abstract Sieve mail-rule control-flow program to determine whether implicit keep is retained and counts explicit delivery actions, without processing real messages.

Computes exact probabilistic bisimilarity classes and the quotient transition matrix for a supplied finite labelled rational Markov chain.

Validates claimed ESN high-water marks and admission decisions from a synthetic ESP replay-filter window, verifying integrity predicates and packet-level state against asserted summary statistics.

Validates and records accepted/rejected outcomes, final class-loader bindings, and surviving constraints for a bounded JVM class-loading sequence.

Analyzes a MathML3 equation system URL to determine alignment group bindings, inheritance paths, and scope policies across table cells before export

Separates internal acceptance tests, external real usage, and contradictory assignments within an anonymous purchase ledger cohort dataset.

Analyzes an ECMAScript object destructuring to identify which own enumerable keys will remain in the rest object after bindings and inheritance exclusions, without exposing field values.

Verifies the declared union of sandbox attribute flags across nested srcdoc documents without issuing security judgments or performing navigation

Computes normative WHATWG-spec popover state transitions (auto, hint, manual) for a given URL's declared popovers, including demotion and parent cascade rules, as of the bound spec date 26.10.2026.

Replays a complete self-consistent phase-space transport simulation using a doubly-periodic Vlasov-Poisson spectral Strang splitting scheme and returns the resulting electric-field artifact transcript.

Validates SIP stateful-proxy fork response-aggregation logic including final response selection, delayed 6xx vs winning 2xx races, CANCEL directives, and anonymous challenge aggregation across branches

Validates whether a normalized SMTP command ledger respects envelope sequencing rules and correctly resets transaction state after a rejected end-of-DATA command.

Analyzes MathML3 mpadded elements to distinguish references to original child dimensions, relative updates, and conditional zero-clamps without fabricating glyph metrics.

Computes residual buffer vectors and anonymous byte-origin mappings for POSIX iovec scatter-read operations after short reads and no-progress errors, including overlapping destination slices.

Simulates and validates Linux inotify queue read behavior including event coalescing, buffer boundary conditions, name padding, and partial batch admission for offline testing fixtures.

Computes which preprocessor definitions are visible to each CMake target under PRIVATE, INTERFACE, and transitive dependency scopes, including diamond deduplication.

Analyzes and traces POSIX condition variable wait operations, returning exact condition-wait release, notification membership, dynamic mutex binding, and reacquire-before-return/cleanup state from an explicitly scheduled anonymous concurrent runtime fixture.

Validates and computes TLS 1.3 KeyUpdate epoch state: send/receive key generation counters, per-generation record sequence numbers, and mandatory coalesced KeyUpdate response obligations for a given transcript fixture.

Reconstructs the fully-typed submodule init selection, active URL resolution, and local configuration copy plan, then verifies the result against a canonical SHA256 claim.

Materializes and verifies complete COLRv1 color-glyph paint directed acyclic graphs including palette, transforms, clip regions, layer/composite order, and variation facts, then compares a SHA256 hash of the typed result.

Counts anomalous download filename fallbacks and unresolvable parameter bindings in source headers before a delivery switch

Verifies every monic squarefree multiplicity block and leading coefficient of a supplied rational polynomial decomposition.

Determines which MathML3 characters and atomic sub-expressions are assigned to the same symbolic column in an elementary math stack, distinguishing digit-column splits from whole sub-formula column assignments.

Verifies the exact signed Pfaffian of a supplied even alternating (skew-symmetric) integer matrix against a claimed value.

Runs a record quality audit and a secondary-measure weighted mean analysis on up to 200 detection rules records (rule_count, alert_count) and returns two independent analytical reports.

Performs a binary search operation on an input dataset via a pay-per-call x402 API endpoint

Checks whether a given date or time is in the past

Returns color data or performs color-related lookups/conversions via a pay-per-call x402 endpoint

Returns area/shape data for a given geographic or geometric input query

Audits discussion response records (response_count, response_minutes) for data quality, normalises strings, and orders rows numerically — producing 3 independent analytical reports for up to 200 rows.

Runs two local analytical reports on discussion response data: string normalisation of categorical fields and a daily sum time series for response_count or response_minutes (up to 200 rows).

Runs string normalisation and base-100 index series analysis on up to 200 rows of document approval data (submitted_documents, approved_documents), returning two local analytical reports.

Runs two analytical reports on document approval records: string normalisation of text fields and a date-by-category pivot, for up to 200 rows of submitted/approved document data.

Normalises string fields and orders rows numerically for up to 200 document readability records (sentence_count, word_count), returning 2 independent analytical reports.

Computes numeric row ordering and a Base-100 index series for document redaction review records (flagged_spans, reviewed_spans) across up to 200 rows, returning 2 analytical reports.

Audits record quality and orders rows numerically for document redaction review data containing flagged and reviewed span counts, returning 2 analytical reports for up to 200 rows.

Normalises strings and removes exact duplicate rows from document redaction review records containing flagged and reviewed span counts, producing 2 analytical reports for up to 200 rows.

Computes string normalisation and trailing mean series analytics on document redaction review data (flagged spans and reviewed spans) for up to 200 rows, returning 2 analytical reports.

Computes grouped numeric summaries and numerically ordered row rankings for document retrieval records (retrieved_bytes and request_ms) across up to 200 rows, returning two analytical reports.

Computes numeric row ordering and trailing mean series for document section coverage data (present_sections, required_sections) across up to 200 rows in two independent reports.

Audits record quality, normalises strings, and orders rows numerically for document section coverage data (present_sections, required_sections) across up to 200 rows, producing 3 independent analytical reports.

Selects a dog and delivers a virtual treat to them via a simple GET request

Runs two local analytical reports on supplied duplicate-observation records: a record quality audit and a secondary-measure weighted mean, for up to 200 rows.

Returns a compact status summary for a Base-compatible HTTP request, inspecting its structure and validity.

Returns a picture/image from the HunterxHunter anime series

Binds ecology observation record references to an exact owner/subject/revision/content/source frame and maps source coverage across supplied rows and sources for public or synthetic datasets.

Validates that declared aggregate count kinds in an edition record are consistent with their associated unit labels within a single source, work, study, or revision.

Computes numeric distribution statistics and a secondary-measure weighted mean for editorial review records containing comment_count and resolved_comments fields, returning two analytical reports for up to 200 rows.

Audits editorial review records (comment_count, resolved_comments) for data quality issues, normalises string fields, and sorts rows numerically — delivering 3 independent reports for up to 200 rows.

Computes adjacent row-to-row change analysis and base-100 indexed series for supplied elevation sample records, returning two analytical reports.

Runs two local analytical reports (Base-100 series normalization and keyed dataset comparison) on up to 200 supplied elevation sample records with elevation_m and sample_weight fields.

Computes category frequency counts and applies a numeric interval filter on elevation sample records, returning two analytical reports for up to 200 rows of supplied data.

Computes category frequency counts and numeric row ordering for elevation sample records (elevation_m, sample_weight) across up to 200 rows using local analytics.

Computes two local analytical reports (daily sum series and adjacent row changes) over user-supplied elevation sample records grouped by station and date.

Analyzes up to 200 elevation sample records to produce a duplicate key report and a base-100 indexed series for a chosen numeric field.

Deduplicates exact rows and computes category frequencies from elevation sample records (elevation_m, sample_weight) for up to 200 rows.

Computes a numeric distribution report and a sample-weight-based weighted mean for up to 200 elevation sample records, using local analytical engines with no external lookups.

Runs two local analytical reports on supplied elevation sample records: a numeric interval filter and a keyed dataset comparison across up to 200 rows.

Filters elevation sample rows by a numeric interval on a chosen field and computes a sample-weight-weighted mean, returning two analytical reports for up to 200 rows of supplied elevation data.

Computes numeric row ordering and secondary-measure weighted mean across up to 200 elevation sample records (elevation_m, sample_weight) without any live data lookup.

Runs three analytical reports (record quality audit, string normalisation, and daily sum series) on supplied elevation sample data with up to 200 rows, using local engines with no external lookups.

Analyzes elevation sample records by normalising string fields and detecting adjacent row changes for up to 200 rows, returning two analytical reports.

Computes a trailing mean time series and a date-by-category pivot table from supplied elevation sample records (elevation_m, sample_weight) for up to 200 rows.

Ranks emphasized HTML elements by text length on a given webpage or supplied HTML, using static parsing with a specified search term and attribute filter.

Predicts the likely age of a person based on their name using statistical inference.

Analyzes up to 200 rows of endpoint telemetry data to produce a duplicate key report and a daily sum time series for agent_count or reporting_agents fields.