Format Conversion
Convert a Markdown pipe table to CSV, JSON rows or an inferred JSON Schema with alignment and null diagnostics
markdown-table-to-csv-json-schemaDocument Tools
Expand text into ICAO, ITU or ARRL spelling words and download a printable PDF card
nato-phonetic-and-icao-spelling-card-builderText Processing
Fix garbled text (mojibake) caused by wrong-encoding decoding — reverse UTF-8/Latin-1, Windows-1252, GBK, Shift-JIS, Big5, and MacRoman chains. Auto mode tries all and picks the cleanest result.
mojibake-repairUtilities
Convert any date between Gregorian (AD), the Nepali Bikram Sambat (BS) calendar, and the Thai solar (Buddhist Era, BE) calendar. Shows the BS month-length table for the year and explains the algorithm.
nepali-bikram-sambat-and-thai-solar-calendar-bridgeMedia
Locally screen FLAC and WAV for persistent spectral cutoffs. Inspect evidence, not a promise of authenticity.
lossless-audio-authenticity-checkerMedia
Convert synced LRC lyrics into SRT subtitles (each line ends where the next begins, editable last-cue and maximum durations, [offset:] and enhanced word-timing tags handled) and turn SRT subtitles back into LRC lyrics — both directions lossless on text.
lrc-srt-converterCryptography
Audit ML-DSA / SLH-DSA / FN-DSA / BBS+ / PLONK / Halo2 parameter compatibility, proof sizes and trusted-setup requirements, with a live pure-TS ML-DSA (FIPS 204) demo
ml-dsa-slh-dsa-fn-dsa-pqc-bbs-plus-plonk-halo2-zk-verifierScience & Education
Ross–Macdonald R0 = m·a²·b·c·pⁿ/(−r·ln p) for malaria, dengue, Zika or chikungunya: herd-immunity threshold, vectorial capacity, critical mosquito density, parameter elasticities, control targets and a seasonal transmission-window curve.
mosquito-borne-disease-basic-reproduction-r0-tutorMedia
Decode a MIDI 1.0 bytestream (status bytes, running status, System Common / Real Time, System Exclusive) or a MIDI 2.0 Universal MIDI Packet stream — message types 0x0 Utility, 0x1 System, 0x2 MIDI 1.0 Channel Voice, 0x3 SysEx 7-bit, 0x4 MIDI 2.0 Channel Voice with 16-bit velocity and the 7.9 pitch attribute, 0x5 SysEx 8-bit / Mixed Data, 0xD Flex Data, 0xF UMP Stream — with per-packet field tables, byte/word/packet counts, reserved-field validation, SysEx continuation state machines, and MIDI 1.0 ⇄ UMP translation.
midi-1-0-midi-2-0-ump-universal-midi-packet-cib-channel-voice-2-0-sysex-7-bit-8-bit-byte-counterAI Tools
End-to-end Model Context Protocol contract testing: JSON-RPC 2.0 initialize handshake and version negotiation over stdio (newline-delimited) and WebSocket (one message per text frame), tools/list inputSchema object-root and draft 2020-12 compilation, resources/list + read, prompts/list + get, ping, -32601 error semantics, sampling/createMessage round-trip, and framing discipline — with an embedded reference server for offline self-verification.
model-context-protocol-mcp-server-tool-schema-stdio-websocket-transport-contract-testerGeography
Audit .mvt/.pbf vector tiles and PMTiles v3 archives against the Mapbox Vector Tile Specification 2.x: protobuf Layer/Feature/Value decoding, MoveTo/LineTo/ClosePath command-stream validation, ring winding and tag indexes, Web Mercator Google-tile XYZ bounds, PMTiles v3 directory decoding and tile-size vs feature-count budgets.
mvt-mapbox-vector-tile-pmtiles-google-mvt-projection-and-tilelive-encoding-auditorScience & Education
Λm = κ/c in S·cm²/mol and S·m²/mol, with optional α = Λm/Λ°m and Ka for weak electrolytes.
molar-conductivity