• • GraphQL Reference

• Queries

  • Query
  • Mutation

• Objects

  • Action
  • Axiom
  • Branch
  • Commit
  • ConservativityStatus
  • ConsistencyCheckAttempt
  • CounterTheorem
  • Debug
  • Diff
  • Directory
  • DocumentLink
  • Error
  • File
  • FileRange
  • FileVersion
  • GeneratedAxiom
  • GitUser
  • GlobalSearchCount
  • GlobalSearchScope
  • Hint
  • Language
  • LanguageMapping
  • Library
  • Logic
  • LogicMapping
  • ManualPremiseSelection
  • Mapping
  • NativeDocument
  • OMS
  • OpenConjecture
  • Organization
  • OrganizationMembership
  • OrganizationPermissions
  • ProofAttempt
  • PublicKey
  • RankedGlobalSearchEntry
  • Reasoner
  • ReasonerConfiguration
  • ReasonerOutput
  • Repository
  • RepositoryMembership
  • RepositoryPermissions
  • RepositoryWithoutGit
  • SearchResult
  • Serialization
  • SessionToken
  • Signature
  • SignatureMorphism
  • SinePremiseSelection
  • SineSymbolCommonness
  • SineSymbolPremiseTrigger
  • Symbol
  • SymbolMapping
  • Tag
  • Theorem
  • UrlMapping
  • User
  • Version
  • Warn
  • __Directive
  • __EnumValue
  • __Field
  • __InputValue
  • __Schema
  • __Type

• Mutations

  • addOrganizationMember
  • addPublicKey
  • addRepositoryMember
  • addUrlMapping
  • cloneRepository
  • commit
  • confirmEmail
  • createBranch
  • createOrganization
  • createRepository
  • createTag
  • deleteAccount
  • deleteBranch
  • deleteOrganization
  • deleteRepository
  • deleteTag
  • removeOrganizationMember
  • removePublicKey
  • removeRepositoryMember
  • removeUrlMapping
  • resendConfirmationEmail
  • resendPasswordResetEmail
  • resendUnlockAccountEmail
  • resetPassword
  • saveAccount
  • saveOrganization
  • saveRepository
  • setDefaultBranch
  • signIn
  • signUp
  • unlockAccount
  • updateRefs

• Interfaces

  • BaseRepository
  • Conjecture
  • Diagnosis
  • DirectoryEntry
  • Document
  • LocIdBase
  • OrganizationalUnit
  • PremiseSelection
  • ReasoningAttempt
  • Reference
  • Sentence

• Enums

  • CommitAction
  • ConsistencyStatus
  • EvaluationState
  • FileEncoding
  • GitAction
  • GlobalSearchCategory
  • LinkOrigin
  • MappingOrigin
  • MappingType
  • OMSOrigin
  • OrganizationRole
  • ProofStatus
  • RepositoryContentType
  • RepositoryRemoteType
  • RepositoryRole
  • RepositoryVisibility
  • SymbolOrigin
  • __DirectiveLocation
  • __TypeKind

• Unions

  • GlobalSearchEntry

• Input Objects

  • FileChangeset
  • NewCommit
  • NewOrganization
  • NewRepository
  • NewUrlMapping
  • NewUser
  • OrganizationChangeset
  • RepositoryChangeset
  • UpdatedRef
  • UserChangeset

• Scalars

  • Boolean
  • Float
  • ID
  • Int
  • String
  • Time

GlobalSearchEntry

Possible search result types

Possible Types

• Organization
• Repository
• User