Specification Synthesis

Knowdit 把 smart contract audit 從單純找 code pattern，拉回 DeFi semantics、specification generation、harness synthesis 與 fuzz execution 串成的知識驅動驗證流程。