gleamunison/mcp_search

Search over one visible definition catalog, with identity and origin intact.

Types

pub type SearchHit {
  SearchHit(
    name: String,
    kind: String,
    ref_hex: String,
    content_ref_hex: option.Option(String),
    origin: String,
    branch: option.Option(String),
    score: Float,
  )
}

Constructors

  • SearchHit(
      name: String,
      kind: String,
      ref_hex: String,
      content_ref_hex: option.Option(String),
      origin: String,
      branch: option.Option(String),
      score: Float,
    )

Values

pub fn hits_json(hits: List(SearchHit)) -> String
pub fn search(
  cache: types.TypeCache,
  defs: List(#(String, elab_types.SurfaceDef)),
  entries: List(agent_read_model.Entry),
  query: String,
) -> List(SearchHit)
✨ Search Document