Specif-ai: Integrate Specifications with IDEs via MCP Server