ProofCouncil: An LLM Agent for Solving Open Mathematical Problems | Digital Library | PAMCET | PAMCET