RegexProofDécrivez le modèle. Obtenez une regex fonctionnelle — avec les alertes de sécurité.
Conversion de l'anglais simple en regex avec explication partie par partie, pièges ECMAScript vs PCRE et heuristiques ReDoS. Aide à la décision pour les ingénieurs — pas de garantie d'exhaustivité.
Pour les développeurs qui veulent une regex fiable rapidement, avec pièges de dialecte et ReDoS signalés.
Sans carte bancaire · Résiliation à tout moment
Points clés
- Transformez la politique en règles pour agents — sans code.
- Les garde-fous s’attachent aux workflows d’agents et échouent en mode sécurisé.
- Commencez ; Pro à partir de 19 $/mois.
Les dialectes diffèrent. Les modèles se cassent discrètement.
Thèmes de support de décision — pas de garantie de complétude ou de preuve formelle.
RegexProof — définition
RegexProof reviews regular expressions for ReDoS and dialect pitfalls with deterministic heuristics plus optional model-assisted explanations — not a completeness guarantee.
Ce que ce n’est PAS
- Ni un cabinet d’avocats, ni une plateforme GRC, ni un organisme de certification ISO.
- Aucune garantie que les politiques rédigées satisferont chaque régulateur ou auditeur.
- Pas un vérificateur formel — traitez les regex générés comme des brouillons sous revue d'ingénieur.
Responsable du traitement / Sous-traitant — Lorsque les packs mentionnent des rôles privacy, nous utilisons les libellés RGPD art. 4 : responsable du traitement et sous-traitant (aide à la décision uniquement).
Les modèles semblent corrects. La production bloque plus tard.
Pièges de dialecte
Les expressions avant, possessives et les classes Unicode diffèrent entre les moteurs ECMAScript et PCRE.
Risque ReDoS
Les quantificateurs imbriqués sur les entrées non fiables peuvent bloquer les boucles d'événements et les API.
Lignes opaques
Les expressions régulières écrites à la main sans explication partie par partie sont difficiles à examiner en toute sécurité.
Problèmes après mise en production
Les timeouts et les correspondances incorrectes apparaissent souvent uniquement avec des données adverses ou désordonnées.
Décrivez. Forgez. Révisez.
De l'anglais clair aux expressions régulières avec des rappels de sécurité — révisez avant la production.
Brouillon de modèle de travail
Un point de départ d'expression régulière sensible au dialecte pour votre saveur de langue.
Explication partie par partie
Décomposition lisible pour que les réviseurs puissent remettre en question les hypothèses.
Heuristiques ReDoS
Indicateurs de quantificateurs imbriqués et de formes de backtrack catastrophique.
Pièges de dialecte
Différences entre ECMAScript et PCRE mises en évidence — aide à la décision, pas une preuve.
Tout ce dont vous avez besoin pour forger des regex plus sûrs
Conçu pour les ingénieurs qui ont besoin d'appels de dialecte et de ReDoS sans un trou de recherche.
D'une description en langage naturel à une regex
Un point de départ d'expression régulière sensible au dialecte pour votre saveur de langue.
Choisissez votre variante de langage
Décomposition lisible pour que les réviseurs puissent remettre en question les hypothèses.
Explication partie par partie
Indicateurs de quantificateurs imbriqués et de formes de backtrack catastrophique.
Cas limites signalés
Différences entre ECMAScript et PCRE mises en évidence — aide à la décision, pas une preuve.
RegexProof — Fonctionnement
Coller
Coller le texte de la politique et choisir le domaine.
Encoder
Générer des vérifications appelables par agent et une liste d'erreurs de validation.
Faire respecter
Intégrer les règles dans votre runtime d'agent ; conserver les humains pour les exceptions.
Décrivez. Forgez. Révisez.
De l'anglais clair aux expressions régulières avec des rappels de sécurité — révisez avant la production.
Pièges de dialecte
Les expressions avant, possessives et les classes Unicode diffèrent entre les moteurs ECMAScript et PCRE.
Brouillon de modèle de travail — Un point de départ d'expression régulière sensible au dialecte pour votre saveur de langue.
Essayez sur cette page
or generate below.
Historique enregistré
Built for early adopters
Built for solo founders and small teams — early access, no public case studies yet. When we publish quotes, they will be consented and attributed; we do not invent names, logos, or outcome metrics.
Limites honnêtes
RegexProof est un outil d'édition : personnalisez, testez et révisez avant de l'envoyer à une entrée non fiable.
Des offres simples qui évoluent
Tous les plans payants incluent
- Studio du langage naturel vers regex
- Appels de piège de dialecte
- Heuristiques ReDoS (aide à la décision)
- Support par e-mail sur les plans payants — pas de modules complémentaires cachés pour l'utilisation de base du studio
- Exécutions IA limitées (10/jour · 50/mois)
- Démo Studio (sans frais LLM supplémentaires)
- IA incluse : 300 générations/mois · usage équitable (gpt-4o-mini)
- Pas d’abonnement ChatGPT séparé requis
- Support prioritaire · 2 mois offerts en annuel
- Sièges équipe · accès API (feuille de route)
- BYOK optionnel (votre clé OpenAI)
Feature comparison
What each plan includes — quotas reflect the enforced fair-use limits.
| Dimension | Free | Pro | Enterprise |
|---|---|---|---|
| Utilisation | |||
| Exécutions AI | 3/day · 15/mo | 40/day · 300/mo | 200/day · 3,000/mo |
| Exportation de rapports | Avec filigrane | Exportation sans filigrane | Exportation sans filigrane |
| Journal d'audit | Non inclus | ✓ Inclus | ✓ Inclus |
| Produit | |||
| NL description to regex | ✓ Inclus | ✓ Inclus | ✓ Inclus |
| Pick your language flavor | ✓ Inclus | ✓ Inclus | ✓ Inclus |
| Part-by-part explanation | ✓ Inclus | ✓ Inclus | ✓ Inclus |
| Edge cases called out | ✓ Inclus | ✓ Inclus | ✓ Inclus |
| BYOK (votre clé LLM) | Non inclus | Non inclus | ✓ |
| SSO | Non inclus | Non inclus | Prévu |
| Assistance et conformité | |||
| Assistance | Communauté | Prioritaire | SLA personnalisé |
Déjà payé ? Débloquez Pro avec votre licence
Licenses are issued manually after your payment is confirmed: we generate one per paid order and send it to the purchase email, typically within a few hours. Enter it below to activate Pro on this device — no account needed. Nothing yet? Write to lixingliangsy@163.com and reference your order email.
Vos questions, nos réponses
Qu'est-ce que RegexProof génère ?
Un brouillon de regex sensible au dialecte avec explication partie par partie, pièges ECMAScript vs PCRE et heuristiques ReDoS — support de décision, et non un vérificateur formel.
Est-ce un avis juridique ou une certification ?
Non. Les sorties sont une aide à la décision. Faites-les revoir par un conseil et les propriétaires du risque avant production. Nous ne revendiquons aucune certification ISO, CMP ou régulateur.
Puis-je résilier à tout moment ?
Oui. Les offres en libre-service se résilient à tout moment ; l’accès continue jusqu’à la fin de la période.
Faut-il une carte bancaire pour commencer ?
Non. Inscrivez-vous par e-mail ou utilisez le mode Démo du studio, puis passez à une offre supérieure quand vous êtes prêt.
Ai-je besoin de mon propre abonnement ChatGPT / OpenAI ?
Non pour Free/Pro. Les exécutions IA sont incluses (usage équitable) via notre clé plateforme. Enterprise peut apporter sa propre clé OpenAI (BYOK) sur /settings (clé côté serveur uniquement).
Qu’est-ce que l’usage équitable / si je touche la limite IA ?
Pro inclut environ 300 générations IA/mois (et un plafond quotidien) sur gpt-4o-mini. En cas de limite, Studio renvoie un résultat mock/démo jusqu’au reset — ou passez à une offre supérieure / BYOK Enterprise.
Le paiement est-il sécurisé ?
Les paiements sont traités par Waffo Pancake (commerçant responsable).
Que se passe-t-il après le paiement ?
Vous recevez une confirmation d’accès ; l’exécution est suivie via webhook et journaux de commande.
Réponses rapides
- RegexProof transforme une description en langage clair en une expression régulière fonctionnelle.
- Vous choisissez le dialecte cible : JavaScript, Python, Go, PCRE ou Rust.
- Chaque partie du motif est expliquée, avec une liste de cas limites à tester.
- Des règles déterministes signalent les risques ReDoS et les pièges de dialecte avant la mise en production.
- Tarifs à partir de $0 (gratuit).
Plus de questions
Que produit RegexProof ?
Un brouillon de politique structuré : outils, données et chemins d’escalade éditables.
Est-ce un conseil juridique ?
Non. Aide à la rédaction. Les politiques doivent être revues par votre conseil et vos risk owners.
Comment marche le mode Démo ?
Activez Démo sans IA live ; le mode live nécessite une clé configurée.
Mappe-t-il l’AI Act UE ?
Les narratifs peuvent citer des thèmes de gouvernance ; cela ne certifie pas la conformité.
Les politiques sont-elles versionnées ?
Les runs stockent rulesetVersion et runId pour le suivi des changements.
Comparaison
| Dimension | Manuel | RegexProof |
|---|---|---|
| Vitesse | De heures à jours | Minutes par exécution |
| Cohérence | Varie selon la personne | Le même jeu de règles à chaque exécution |
| Résultat | Free-form | Résultat structuré et exportable |
| Idéal pour | Validation finale | Aide à la décision en première passe |
Quand ne pas utiliser : Utilisez plutôt une relecture humaine qualifiée. Les heuristiques détectent les schémas courants, mais les attaques inédites peuvent passer inaperçues.
- ECMAScript contre PCRE : pièges de dialecte en 2026 — Du blog de RegexProof.
- Heuristiques ReDoS pour les regex applicatives 2026 — Du blog de RegexProof.
- Notes de lancement de la flotte — RegexProof fait partie de la flotte LX AI Micro-SaaS.
Les gens recherchent aussi
Cliquez sur un onglet pour le développer ; cliquez à nouveau pour le masquer. Tout le contenu reste sur la page pour les moteurs de recherche.
Commencez plus intelligemment dès aujourd’hui
Rejoignez les builders qui utilisent RegexProof. Essai gratuit — sans carte.
Fiable · Résiliation à tout moment