Specif AI MCP Server: Run Specification Models Locally