Chat with Spec Kit | Universal Agentic Registry | HOL Points Portal