MARS documentation
MARS-QL

Query cookbook

Practical bounded queries using implemented operators.

Browse all types

DISCOVER * ORDER BY name ASC LIMIT 10

Find a tagged agent

DISCOVER AgentDefinition WHERE tags CONTAINS "research" LIMIT 20

Require several tags

DISCOVER ToolDefinition WHERE tags CONTAINS_ALL ("http", "read-only") LIMIT 10

Inspect first-generation records

DISCOVER AgentDefinition WHERE lineage_reference.generation = 1 LIMIT 20

Continue a result page

Append OFFSET with the exact quoted cursor returned for the same query, ordering, and limit. Cursors are opaque and expire. Restart from the first page if the server rejects a cursor rather than guessing a numeric offset.

Each query selects recorded attributes. Verify signatures, endpoints, and claims independently before execution.

Source authority

This page describes the checked-in implementation, not the availability of a public registry.

  • mars-protocol/src/marsql/parser.rs
  • mars-server/src/search.rs

Attestation filters

Filter attestation counts without inventing joins or trust scores.

Grammar and supported fields

Syntax implemented by the checked-in parser and query planner.

On this page

Browse all typesFind a tagged agentRequire several tagsInspect first-generation recordsContinue a result pageSource authority