Towards Agentic Agent Based Models Feasibility Performance Statistical Model Checking (Grade A) - Claude Skill | Skills Directory