potential limitations

[Billy1900]

Thanks for providing this tool, it has several strength:

• Good support for multiple smart contract and system languages (Solidity & others).
• Use of RAG / embeddings gives context awareness; storing domain knowledge / checklists etc.
• Visualization and business logic + contract interaction emphasis.
• Flexibility / configurable scanning depth.

Potential Limitations:

[1] Lack of Performance Metrics Disclosure: No FP/FN/Accuracy metrics
[2] Over-Reliance on LLMs: LLM may report non-deterministic results.
[3] It has shallow code analysis architecture. No AST/CFG analysis.

Could you please address on the limitations?