[neurocore.skills]
coq_check = neurocore_skill_math:CoqCheckSkill
cvc5_smt_check = neurocore_skill_math:Cvc5SmtCheckSkill
eprover_prove_tptp = neurocore_skill_math:EproverProveTptpSkill
gap_group_theory = neurocore_skill_math:GapGroupTheorySkill
isabelle_check_theory = neurocore_skill_math:IsabelleCheckTheorySkill
lean4_check = neurocore_skill_math:Lean4CheckSkill
lean4_formalize_statement = neurocore_skill_math:Lean4FormalizeStatementSkill
lean4_repair = neurocore_skill_math:Lean4RepairSkill
llm_proof_planner = neurocore_skill_math:LlmProofPlannerSkill
mace4_countermodel = neurocore_skill_math:Mace4CountermodelSkill
math_domain_classifier = neurocore_skill_math:MathDomainClassifierSkill
math_problem_parser = neurocore_skill_math:MathProblemParserSkill
math_statement_normalizer = neurocore_skill_math:MathStatementNormalizerSkill
mpmath_high_precision_check = neurocore_skill_math:MpmathHighPrecisionCheckSkill
pari_gp_number_theory = neurocore_skill_math:PariGpNumberTheorySkill
proof_report_builder = neurocore_skill_math:ProofReportBuilderSkill
prover9_prove = neurocore_skill_math:Prover9ProveSkill
sagemath_compute = neurocore_skill_math:SagemathComputeSkill
sympy_calculus = neurocore_skill_math:SympyCalculusSkill
sympy_simplify = neurocore_skill_math:SympySimplifySkill
sympy_solve = neurocore_skill_math:SympySolveSkill
theorem_retriever = neurocore_skill_math:TheoremRetrieverSkill
vampire_prove_tptp = neurocore_skill_math:VampireProveTptpSkill
z3_smt_check = neurocore_skill_math:Z3SmtCheckSkill
