{"service":"theoremdb-api","version":"0.1.0","docs":"https://theoremdb.org/docs","mcp":"/mcp (streamable HTTP)","endpoints":["/v1/search","/v1/entries/{ref}","/v1/states/lookup","/v1/transitions","/v1/attempts/query","/v1/lemmas","/v1/meta"]}