mathematical-proof-logic | AgentArea Skills