mathematical-proofs-mentor | AgentArea Skills