RegexProofTrasforma le policy aziendali in regole applicate dagli agent
RegexProof legge il testo della policy aziendale e genera controlli invocabili dagli agent più una checklist di conformità, mappata agli obblighi dell’AI Act UE — così la policy diventa eseguibile, non solo un PDF.
Per sviluppatori che hanno bisogno di una regex affidabile al volo, con avvisi su dialetto e ReDoS.
Nessuna carta di credito · Disdici quando vuoi
Punti chiave
- Trasforma le policy aziendali in regole applicate dagli agent — senza codice.
- Le guardrail si collegano ai workflow degli agent e falliscono in chiusura sulle violazioni.
- Inizia; Pro da 19 $/mese.
I dialetti differiscono. I pattern si rompono silenziosamente.
Temi di supporto alle decisioni — non una garanzia di completezza o prova formale.
RegexProof — definizione
RegexProof reviews regular expressions for ReDoS and dialect pitfalls with deterministic heuristics plus optional model-assisted explanations — not a completeness guarantee.
Cosa NON è
- Non è uno studio legale, una piattaforma GRC né un organismo di certificazione ISO.
- Non garantisce che le policy redatte soddisfino ogni autorità o auditor.
- Non un verificatore formale — trattare le regex generate come bozze in fase di revisione dell'ingegnere.
Titolare / Responsabile del trattamento — Quando i pack citano ruoli privacy, usiamo le etichette GDPR Art.4: Titolare e Responsabile del trattamento (solo supporto decisionale).
I modelli sembrano corretti. La produzione si blocca in seguito.
Trappole di dialetto
Le classi di lookahead, possessive e Unicode differiscono tra i motori ECMAScript e PCRE.
Rischio ReDoS
I quantificatori annidati su input non attendibili possono bloccare i cicli di eventi e le API.
Una riga opaca
Le espressioni regolari scritte a mano senza spiegazione parte per parte sono difficili da revisionare in modo sicuro.
Problemi dopo la consegna
I timeout e le corrispondenze false appaiono spesso solo con dati avversari o disordinati.
Descrivi. Crea. Revisiona.
Da inglese semplice a regex con avvisi di sicurezza — revisiona prima della produzione.
Bozza del modello di lavoro
Un punto di partenza per l'espressione regolare consapevole del dialetto per il tuo sapore di linguaggio.
Spiegazione parte per parte
Breakdown leggibile in modo che i revisori possano sfidare le ipotesi.
Euristiche ReDoS
Segnala quantificatori annidati e forme di backtracking catastrofico.
Trappole di dialetto
Differenze tra ECMAScript e PCRE evidenziate — supporto alle decisioni, non una prova.
Tutto ciò di cui hai bisogno per creare regex più sicuri
Progettato per ingegneri che necessitano di richiami di dialetto e ReDoS senza un buco nero di ricerca.
Da descrizione in linguaggio naturale a regex
Un punto di partenza per l'espressione regolare consapevole del dialetto per il tuo sapore di linguaggio.
Scegli la tua variante di linguaggio
Breakdown leggibile in modo che i revisori possano sfidare le ipotesi.
Spiegazione parte per parte
Segnala quantificatori annidati e forme di backtracking catastrofico.
Casi limite evidenziati
Differenze tra ECMAScript e PCRE evidenziate — supporto alle decisioni, non una prova.
RegexProof — Funzionamento
Incolla
Incolla il testo della politica e scegli il dominio.
Codifica
Genera controlli richiamabili dall'agente e un elenco di errori di convalida.
Applica
Collega le regole al runtime dell'agente; mantieni gli umani per le eccezioni.
Descrivi. Crea. Revisiona.
Da inglese semplice a regex con avvisi di sicurezza — revisiona prima della produzione.
Trappole di dialetto
Le classi di lookahead, possessive e Unicode differiscono tra i motori ECMAScript e PCRE.
Bozza del modello di lavoro — Un punto di partenza per l'espressione regolare consapevole del dialetto per il tuo sapore di linguaggio.
Provalo in questa pagina
or generate below.
Cronologia salvata
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.
Limiti onesti
RegexProof è uno strumento di stesura: personalizza, fuzz e revisiona prima di inviare a input non attendibili.
Piani semplici che scalano
Tutti i piani a pagamento includono
- Studio dal linguaggio naturale alla regex
- Richiami di chiamata di trappola di dialetto
- Euristica ReDoS (supporto alle decisioni)
- Supporto email sui piani a pagamento — nessun add-on nascosto per l'uso dello studio core
- Esecuzioni IA giornaliere limitate (10/giorno · 50/mese)
- Demo Studio (nessun costo LLM extra)
- IA inclusa: 300 gen/mese · fair use (gpt-4o-mini)
- Nessun abbonamento ChatGPT separato richiesto
- Supporto prioritario · 2 mesi gratis con annuale
- Posti team · Accesso API (roadmap)
- BYOK opzionale (la tua chiave OpenAI)
Feature comparison
What each plan includes — quotas reflect the enforced fair-use limits.
| Dimensione | Free | Pro | Enterprise |
|---|---|---|---|
| Utilizzo | |||
| Esecuzioni AI | 3/day · 15/mo | 40/day · 300/mo | 200/day · 3,000/mo |
| Esportazione report | Con filigrana | Esportazione pulita | Esportazione pulita |
| Log di audit | Non incluso | ✓ Incluso | ✓ Incluso |
| Prodotto | |||
| NL description to regex | ✓ Incluso | ✓ Incluso | ✓ Incluso |
| Pick your language flavor | ✓ Incluso | ✓ Incluso | ✓ Incluso |
| Part-by-part explanation | ✓ Incluso | ✓ Incluso | ✓ Incluso |
| Edge cases called out | ✓ Incluso | ✓ Incluso | ✓ Incluso |
| BYOK (Sua chiave LLM) | Non incluso | Non incluso | ✓ |
| SSO | Non incluso | Non incluso | Roadmap |
| Assistenza e conformità | |||
| Assistenza | Community | Priorità | SLA personalizzato |
Già pagato? Sblocca Pro con la tua licenza
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.
Le tue domande, con risposta
Cosa genera RegexProof?
Una bozza di regex consapevole del dialetto con spiegazione parte per parte, trappole ECMAScript vs PCRE e euristica ReDoS - supporto alle decisioni, non un verificatore formale.
È consulenza legale o una certificazione?
No. Gli output sono bozze di supporto decisionale. Fai revisionare da counsel e risk owner prima della produzione. Non rivendichiamo certificazioni ISO, CMP o di autorità.
Posso disdire in qualsiasi momento?
Sì. I piani self-serve si disdicono quando vuoi; l’accesso continua fino a fine periodo.
Serve una carta di credito per iniziare?
No. Inizia con registrazione email o modalità Demo nello studio, poi fai upgrade quando sei pronto.
Mi serve un abbonamento ChatGPT / OpenAI personale?
No per Free/Pro. Le esecuzioni IA sono incluse nel piano (fair use) con la nostra chiave di piattaforma. Enterprise può opzionalmente portare la propria chiave OpenAI (BYOK) — configurala in /settings (la chiave resta solo lato server).
Cos’è il Fair Use / cosa succede se raggiungo il limite IA?
Pro include circa 300 generazioni IA/mese (più un tetto giornaliero) su gpt-4o-mini. Se raggiungi il limite fair use, Studio restituisce un risultato mock/demo fino al reset giornaliero o mensile — oppure upgrade / Enterprise BYOK per volumi maggiori.
Il checkout è sicuro?
I pagamenti sono elaborati da Waffo Pancake (merchant of record).
Cosa succede dopo il pagamento?
Ricevi conferma di accesso; l’erogazione è tracciata via webhook + log ordini.
Risposte rapide
- RegexProof trasforma una descrizione in linguaggio semplice in un'espressione regolare funzionante.
- Scegli tu il dialetto di destinazione: JavaScript, Python, Go, PCRE o Rust.
- Ogni parte del pattern è spiegata, con un elenco di casi limite da provare.
- Regole deterministiche segnalano i rischi ReDoS e le trappole dei dialetti prima del rilascio.
- Prezzi a partire da $0 (gratuito).
Altre domande
Cosa produce RegexProof?
Una bozza di policy strutturata su tool, dati e percorsi di escalation modificabile.
È consulenza legale?
No. È un aiuto alla redazione. Le policy devono essere riviste da counsel e risk owner.
Come funziona la modalità Demo?
Attiva Demo senza IA live; la modalità live richiede una chiave configurata.
Mappa l’AI Act UE?
I narrativi possono citare temi di governance; non certifica la conformità.
Le policy possono essere versionate?
Le run memorizzano rulesetVersion e runId per il tracking delle modifiche.
Come si confronta
| Dimensione | Manuale | RegexProof |
|---|---|---|
| Velocità | Da ore a giorni | Minuti per esecuzione |
| Coerenza | Varia da persona a persona | Lo stesso set di regole a ogni esecuzione |
| Risultato | Free-form | Risultato strutturato ed esportabile |
| Ideale per | Approvazione finale | Supporto decisionale in prima battuta |
Quando non usare: Usate invece una revisione umana qualificata. Le euristiche individuano i pattern comuni, ma gli attacchi nuovi possono sfuggire.
- ECMAScript contro PCRE: trappole dei dialetti nel 2026 — Dal blog di RegexProof.
- Euristiche ReDoS per le regex delle applicazioni 2026 — Dal blog di RegexProof.
- Note sul lancio della flotta — RegexProof fa parte della flotta LX AI Micro-SaaS.
Le persone cercano anche
Fai clic su una scheda per espanderla; fai clic nuovamente per nasconderla. Tutto il contenuto rimane nella pagina per i motori di ricerca.
Inizia meglio oggi
Unisciti ai builder che usano RegexProof. Prova gratis — nessuna carta.
Affidabile · Disdici quando vuoi