BioAgent: Verified Agentic AI for Computational Biology | Manifund