All tools — Page 13
969 useful tools. Browse a category or search the full toolkit.
Forward Propositional Derivation Checker
Check explicit local inference steps and their earlier-line references without treating a plausible conclusion as a proof.
AccessibilityTarget Rectangle Spacing Check
Check exact 24 CSS pixel target-size and spacing geometry for a supplied rectangle layout.
AccessibilityMedia Track Source Inventory
Inventory audio and video track declarations and flag source-level caption and default-track questions.
AccessibilityStatic Form Entry List Preview
Preview ordered repeated form field names and text values under a narrow static no-submitter profile.
DeveloperStatic HTML ID Namespace Rewriter
Prefix HTML IDs and known local ID references while preserving all unmodified source bytes.
TextExplicit Text Range Redactor
Replace exact Unicode scalar ranges without splitting emoji or disclosing removed text in a change report.
TextExplicit Outline Numbering Workbench
Number an explicit title tree and export an indented outline with decimal, Roman or alphabetic path labels.
AccessibilityTimestamped Transcript Turn Organizer
Group declared same-speaker transcript turns while retaining source IDs, timestamps and overlap evidence.
FilesMedia Chapter File Builder
Build WebVTT chapter cues or FFmetadata chapter blocks from explicit titles and integer millisecond boundaries.
FilesCSV Data Package Bundle Builder
Bundle original CSV files with a Frictionless v1 descriptor, explicit string schemas and exact-byte hashes.
FilesSelected File Set Change Auditor
Compare two selected file sets using exact names, SHA-256 and byte verification, with unambiguous content-move evidence.
FilesLocal MIME Message File Builder
Create a UTF-8 plain-text EML file with bounded attachments and encoded Unicode headers, without sending mail.
DeveloperServer-Sent Events Stream Workbench
Parse event-stream source or create an SSE artifact from explicit event data without opening a connection.
DeveloperWebSocket Opening Handshake Workbench
Calculate a WebSocket accept value from a supplied key and compare an optional server accept field locally.
DeveloperJSON-RPC Envelope and Batch Workbench
Inspect JSON-RPC 2.0 envelopes or correlate supplied batch replies with exact request IDs.
DeveloperHTTP Byte Range Workbench
Resolve Range fields against an explicit representation length or inspect a Content-Range field with exact integers.
DeveloperHTTP Conditional Request Workbench
Evaluate supplied ETags and modification dates in the HTTP precondition precedence order.
DeveloperHTTP Digest Field Workbench
Generate or compare SHA-256 and SHA-512 HTTP digest fields against explicitly supplied bytes.
DeveloperForwarded Proxy Header Inspector
Inspect Forwarded proxy elements, quoted node identifiers and per-hop parameters without trusting the chain.
DeveloperHTTP Authentication Challenge Workbench
Separate authentication challenges from their comma-separated parameters and produce a normalized field value.
DeveloperHTTP Link Header Workbench
Inspect Link targets, relation types, anchors and UTF-8 titles using a supplied response URI.
DeveloperHTTP Content Negotiation Workbench
Compare supplied media types, content codings or language tags with explicit Accept field preferences.
DeveloperPackage Exports Resolution Workbench
Trace package.json export selection for a concrete subpath and an explicit set of active conditions.
DeveloperASN.1 DER Structure Inspector
Inspect one DER value as a bounded tag, length and value tree with exact offsets and selected primitive checks.
DeveloperCompact JWE Envelope Inspector
Inspect an encrypted JWE envelope, its untrusted protected header and the exact byte lengths of all five segments.
DeveloperConventional Commit Message Workbench
Inspect a Conventional Commit message or build a separate commit-message artifact from explicit JSON fields.
ImagesQOI Image Codec Workbench
Decode a bounded QOI image to PNG or encode a supported static raster as a separate QOI file locally.
DeveloperImport Map Resolution Workbench
Resolve a module specifier through a supplied import map, including scope precedence and slash-prefix mappings.
DeveloperGit Config File Workbench
Inspect a supplied Git configuration file or normalize its supported syntax while retaining repeated settings.
DeveloperSSH Known Hosts Workbench
Inspect host-key records, test a declared host pattern/hash lookup or create a separately hashed known_hosts copy.
ImagesNetpbm Image Workbench
Convert one bounded PBM, PGM or PPM image to PNG, or export a supported static raster as raw Netpbm.
FilesStrict Ustar Archive Workbench
List an uncompressed ustar archive, extract one regular member or create a separate bounded ustar file.
EducationPrintable Graph and Ruled Paper Generator
Create original square, dotted, ruled or polar paper as a physical-size SVG or vector PDF.
ImagesTransparent Geometric Avatar Maker
Fit a local photo inside a circular, rounded-square or regular hexagon mask and download a transparent PNG.
Date & timeOnline Countdown Timer
Run a local countdown with pause, resume and restart, then copy or download its current timing snapshot.
Date & timeOnline Stopwatch with Laps
Measure elapsed time in this tab, pause and resume, record up to 200 split laps, and export a JSON snapshot.
Music & audioRhythm Click Track WAV Generator
Create a downloadable patterned click track with accent, rest, swing, tempo and bar controls, entirely in this tab.
Music & audioLocal PCM WAV Joiner
Join matching PCM WAV files in selection order, optionally insert exact digital silence, and download one audio file.
Music & audioTwo-Track PCM WAV Mixer
Mix two matching WAV files with a signed time offset, independent gains and explicit overload handling.
Music & audioPCM WAV Delay and Echo Generator
Add a bounded train of delayed echoes to a local PCM WAV, with separate dry, first-echo and feedback gains.
Music & audioPCM WAV Silence Trimmer and Remover
Trim quiet edges or remove long quiet runs from a PCM WAV using an explicit threshold, minimum gap and padding.
DataDeclared CSV Number Parser
Parse explicit decimal and grouping separators across CSV columns without guessing locale or rounding source decimals.
DataDeclared CSV Calendar Date Parser
Validate imported date-only columns against an explicit fixed pattern and preserve invalid-date evidence.
DataExplicit Category Indicator Matrix
Add stable zero/one CSV indicators from your own categorical domains while retaining unknown and missing counts.
DataCategorical Observation Grid Auditor
Compare observed CSV factor combinations with an explicit expected grid and retain missing and replicated-cell witnesses.
DataExact Grouped CSV Rank Annotator
Add per-group numeric ranks to CSV rows with exact decimal ordering and explicit tie rules.
DataSource-order Ledger Balance Auditor
Check exact running balances from signed CSV amounts and supplied opening balances without contacting an account.
DataDuplicate-preserving CSV Reconciler
Compare exact CSV tuple counts while retaining duplicate multiplicity and separating missing from extra occurrences.