Mô hình
Cấu hình endpoint tương thích OpenAI hoặc Anthropic bằng URL cơ sở và khóa API nếu cần. Kiểm tra kết nối. Máy chủ mô hình cục bộ phải đang chạy; công cụ từ xa có thể truyền dữ liệu riêng.
Sản phẩm
Tính năng phần mềm · Khớp ký tự đại diện có giới hạn
01
GlobHaven hỗ trợ rà soát khớp toàn chuỗi, tách hai token được hỗ trợ khỏi ngoặc vuông và các cú pháp mẫu khác.
Dự án
Chọn thư mục và yêu cầu trợ lý đọc các tệp liên quan trước khi chỉnh sửa. Xác định mục tiêu và giới hạn của tác vụ.
Thay đổi
Xem lại thay đổi và đầu ra lệnh. Chạy kiểm tra dự án trước khi chấp nhận kết quả; mã được tạo không mặc nhiên đã qua kiểm thử.
Khớp ký tự đại diện có giới hạn
● ● ●GlobHaven●
Quy trình · Khớp ký tự đại diện có giới hạn ×
def wildcard(text, pattern):
if not isinstance(text, str) or not isinstance(pattern, str):
raise ValueError("text.required")
if len(text) > 256 or len(pattern) > 256:
raise ValueError("length.cap")
if any(ord(c) in (91, 93, 92) for c in pattern):
raise ValueError("syntax.unsupported")
previous = [True] + [False] * len(pattern)
for j, token in enumerate(pattern, 1):
previous[j] = token == "*" and previous[j - 1]
for char in text:
current = [False] * (len(pattern) + 1)
for j, token in enumerate(pattern, 1):
current[j] = (current[j - 1] or previous[j]) if token == "*" else (
previous[j - 1] and (token == "?" or token == char))
previous = current
return previous[-1]✳Khớp cả chuỗi bằng ký tự đại diện dấu hỏi và sao với tối đa 256 điểm Unicode mỗi đầu vào.
✓ Thay đổiKiểm tra trước khi áp dụng ↗
Minh họa không gian làm việc