[kpm] Axioms search agent added
[kpm] Theorems search agent added
[kb] Tasks classification added
[kpm] Proof search agent added