Israeli Land Authority MCP Server

Instructions

Implementation Reference

• src/remy_mcp/tools/tender_tools.py:257-273 (handler)

  The MCP tool handler function decorated with @mcp.tool() that implements get_tender_map_details. It calls the API client to fetch map details and wraps the response in a success/error structure.

  @mcp.tool()
  def get_tender_map_details(args: TenderDetailsArgs) -> Dict[str, Any]:
      """
      Get geographic and mapping data for a specific tender
  
      Returns location coordinates and map integration data for the specified tender.
      """
      try:
          map_details = api_client.get_tender_map_details(args.michraz_id)
          return {
              "success": True,
              "tender_id": args.michraz_id,
              "map_details": map_details,
          }
      except Exception as e:
          return {"success": False, "error": str(e), "tender_id": args.michraz_id}

• src/remy_mcp/models/arg_models.py:81-85 (schema)

  Pydantic input schema (TenderDetailsArgs) used by the get_tender_map_details tool, requiring a single integer michraz_id (tender ID).

  class TenderDetailsArgs(BaseModel):
      """Arguments for tender details tools"""
  
      michraz_id: int = Field(..., description="The tender ID to get details for")

• src/remy_mcp/client/israeli_land_api.py:241-265 (helper)

  Helper method in IsraeliLandAPI client that performs the actual HTTP request to fetch tender map details from the Israeli Land Authority API.

  def get_tender_map_details(self, michraz_id: int) -> Dict[str, Any]:
      """
      Get geographic/mapping data for a tender
  
      Args:
          michraz_id: The tender ID to get map details for
  
      Returns:
          Dictionary containing map details
      """
      self._rate_limit()
  
      try:
          response = self.session.get(
              f"{self.BASE_URL}/MichrazDetailsApi/GetMichrazMapaDetails",
              params={"michrazID": michraz_id},
              timeout=30,
          )
          response.raise_for_status()
          return response.json()
      except requests.exceptions.RequestException as e:
          raise Exception(
              f"Failed to get map details for tender ID {michraz_id}: {str(e)}"
          )

• src/remy_mcp/server.py:19-21 (registration)

  Registration point in the main server setup where register_tools is called. This indirectly registers get_tender_map_details via the chain: register_tools -> register_tender_tools -> @mcp.tool() decorator.

  # Register tools and resources
  register_tools(mcp, api_client)
  register_resources(mcp)