01Adversarial Debate System: Orchestrates a multi-round Verifier↔Critic loop for systematic issue discovery and challenge.
02Intent-Based Convergence: Utilizes semantic understanding across 5 key categories to achieve adaptive verification convergence.
034 GitHub stars
04LLM-Based Evaluation (Optional): Leverages Large Language Models for advanced assessments, including convergence quality, severity classification, and false positive detection.
05Automatic Impact Analysis: Builds multi-language dependency graphs to predict ripple effects, calculate cascade depth, and assess risk.
06Multi-Language Support: Provides dependency analysis for 15+ languages via tree-sitter AST parsing (e.g., TypeScript, Rust, Python).
