Génère de façon déterministe par graine des puzzles de 8 familles Nikoli (même graine, même grille) : Kakuro dense, Fillomino, Masyu, Yajilin, Hashiwokakero, Nurikabe, Slitherlink et Star Battle ; chaque grille naît « solution d'abord » et se vérifie par un solveur exhaustif comptant les solutions jusqu'à deux — l'unicité est prouvée, et si le budget s'épuise elle est honnêtement « non prouvée » ; SVG puzzle + solution et difficulté par nœuds de recherche inclus.

AI Tools

Testeur de contrats de serveurs MCP (transports stdio + WebSocket · validation des schémas JSON Schema 2020-12)

Vérification de bout en bout des contrats de serveurs Model Context Protocol : négociation JSON-RPC 2.0, échange de capabilities, tools/list avec type racine object et compilation selon le brouillon 2020-12, lecture des resources, obtention des prompts, ping, sémantique -32601 pour méthodes inconnues, aller-retour sampling/createMessage et discipline de cadrage stdio ; par défaut auto-test hors ligne contre un serveur de référence intégré, ou contre votre commande stdio ou point de terminaison ws://.

Network

Analyseur de paquets IoT cellulaire NB-IoT / LTE-M : CoAP et LwM2M

Décode des captures hex d’appareils IoT cellulaires : en-têtes et options CoAP (block-wise, Observe), arbres TLV LwM2M avec noms de ressources, adressage par ports UDH du SMS-DELIVER déballant le CoAP-sur-SMS, enregistrements link-format et résumés DTLS.

Data Visualization

Explorateur d’arbres d’expressions vectorielles q SQL de KDB+

Analyse les expressions q et requêtes q-sql en un arbre annoté : ordre d’évaluation de droite à gauche, classes de jetons, forme fonctionnelle de select et attributs de colonnes splayed.

Science & Education

Calculateur de la loi de Kohlrausch

Loi de migration indépendante des ions de Kohlrausch : Λ°m = ν₊λ°₊ + ν₋λ°₋. Choisissez le cation et l'anion dans la table des conductivités molaires limites ioniques (ou saisissez un λ° personnalisé) et obtenez aussitôt la conductivité molaire limite de l'électrolyte et la part de chaque ion (nombres de transport approchés t₊ et t₋). Ancrages : HCl = 349.8 + 76.3 = 426.1 S·cm²/mol, acide acétique = 349.8 + 40.9 = 390.7, KCl = 73.5 + 76.3 = 149.8.

Science & Education

Calculateur de la conductivité molaire

Conductivité molaire Λm = κ/c, en S·cm²/mol et S·m²/mol ; ajoutez la conductivité molaire limite Λ°m pour débloquer le degré de dissociation α = Λm/Λ°m et la constante d'acidité Ka = cα²/(1−α) des électrolytes faibles 1:1. Ancrages : KCl 0.01 M (κ = 1412 µS/cm) donne Λm = 141.2 S·cm²/mol, 94% de sa limite de 149.9 — électrolyte fort ; l'acide acétique 0.01 M n'atteint que 16.3, un α de 4.2% et la fameuse Ka ≈ 1.8×10⁻⁵.

Science & Education

Calculateur de l'équation de Nernst

Équation de Nernst E = E⁰ − (RT/nF)·lnQ à toute température : potentiel standard, électrons transférés, quotient Q et température en K ou °C, avec le facteur thermique RT/F, le saut par décade de Q (2.303RT/nF), le potentiel d'électrode E et ΔG = −nFE. Ancrages : à 25 °C RT/F = 25.693 mV, une électrode à un électron bouge de 59.16 mV par décade de Q et une à deux électrons de 29.58 mV ; la pile de Daniell (E⁰ = 1.10 V, n = 2) à Q = 100 tombe à 1.041 V.

Science & Education

Calculateur de force de Lorentz

Force de Lorentz sur une charge en mouvement, F = |q|·v·B·sinθ : unités de charge jusqu'à la charge élémentaire e, vitesse et champ (y compris le gauss) sélectionnables ; la force est toujours perpendiculaire à la vitesse et au champ, donc ne travaille pas — elle courbe les trajectoires au lieu d'accélérer (principe du cyclotron et du tube cathodique), dirigée selon v × B et inversée pour les charges négatives. Ancrages : 1 C, 1 m/s, 1 T à angle droit font exactement 1 N ; un électron à 10⁶ m/s dans 1 mT ressent 1.60218×10⁻¹⁶ N et tourne en cercle de rayon 5.7 mm.

Science & Education

Calculateur du facteur de Lorentz

Le facteur de Lorentz γ = 1/√(1−v²/c²) — le nombre unique qui traverse tous les effets de la relativité restreinte. Avec γ sont donnés 1/γ (le facteur de contraction des longueurs et de ralentissement des horloges), βγ = p/mc (l'échelle d'impulsion des physiciens des particules) et √(1−β²). À β = 0.99, γ = 7.088812 ; à β = 0.999 il a déjà triplé à 22.366272 — la divergence qui rend la dernière fraction de la vitesse de lumière la plus coûteuse. Vitesse en β ou m/s.

Science & Education

Calculateur de grossissement optique

Grossissement des trois instruments classiques : loupe M = D/f (D = 25 cm punctum proximum), microscope M = (L/f_o)·(D/f_e) (L = longueur du tube), télescope M = f_o/f_e (pur rapport de focales). Chaque mode lit les distances focales nécessaires en millimètres et montre la factorisation du grossissement — la structure 40× × 10× = 400× du microscope reste visible.

AI Tools

Constructeur de JSON Schema pour tool-calling LLM

Définissez un outil LLM une fois et générez des payloads de function-calling validés pour OpenAI, Anthropic et Gemini.

Math & Numbers

Calculateur d'inverse modulaire (Euclide étendu)

Calcule a⁻¹ mod m par l'algorithme d'Euclide étendu : fournit les coefficients de Bézout a·x + m·y = gcd(a, m), la table complète des coefficients progressifs (chaque ligne vérifie r = a·s + m·t) et la vérification a × a⁻¹ ≡ 1 (mod m). Accepte des nombres de taille RSA (jusqu'à 10⁵¹²) et signale clairement quand gcd(a, m) ≠ 1 rend l'inverse inexistant. Classique : en RSA, 17⁻¹ mod 3120 = 2753.