StateSet API Docs

curl --request POST \ --url 'https://api.nsr.stateset.com/api/v1/nsrl/prove' \ --header 'X-API-Key: YOUR_API_KEY' \ --header 'Content-Type: application/json' \ --data '{ "max_iterations": 100, "query": "mortal(socrates)" }'

Required scope: write

Request body

NSRLProveRequest

integer

Maximum resolution iterations

string

required

Query to prove (in NSR-L syntax)

Response

NSRLProveResponse

number (double)

required

Confidence (1.0 if proved symbolically)

string

required

Explanation

string[]

required

Proof steps (if successful)

boolean

required

Whether the query was proved

integer (int64)

required

Time taken in milliseconds

Status codes

Code	Meaning
`200`	Proof result
`401`	Unauthorized — missing or invalid credentials
`403`	Forbidden — the key/token lacks the required scope
`429`	Rate limited — see Retry-After / X-RateLimit-Reset

curl --request POST \
  --url 'https://api.nsr.stateset.com/api/v1/nsrl/prove' \
  --header 'X-API-Key: YOUR_API_KEY' \
  --header 'Content-Type: application/json' \
  --data '{
  "max_iterations": 100,
  "query": "mortal(socrates)"
}'

{
  "confidence": 1,
  "explanation": "string",
  "proof_steps": [
    "string"
  ],
  "proved": true,
  "time_ms": 1
}

​Request body

​Response

​Status codes

Request body

Response

Status codes