Deterministic regex synthesis from labeled examples. Zero LLM, proof matrix, backtracking audit.
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
Deterministic regex synthesis from labeled examples. Zero LLM, proof matrix, backtracking audit.