LTI 1.3

Carnap supports LTI 1.3 for login, allowing it to be placed directly in a Canvas course. No previous versions superseded by LTI 1.3 including LTI 1.0, 1.1, or 2.0 are supported.

Various major LMS implementations including Moodle and Canvas support LTI 1.3 natively.

LTI setup in a Learning Management System's configuration parameters are:

  • oidc_initiation_url:
  • target_link_uri:
  • Public JWK URL:
  • Redirect URLs:

If you are running your own instance of the Carnap server, you will use the same paths but with your custom domain name replacing "".

Common LMS: Canvas

Instructions for configuring an LTI key for Canvas can be found here: Configuring an LTI key. This will require someone with administrator access to your Canvas instance, so you may need to speak to someone in your IT department to get this set up.

Canvas allows configurations to be imported rather than set manually, via the "Paste JSON" option described in the documentation linked above. A JSON file for easy configuration of a Canvas instance using this method is reproduced below.

Once the LTI key is configured in your Canvas instance, you'll need to ask your Canvas administrator for the client ID number associated with the key, and follow the instructions here: Adding Carnap To Your Course.

For more details on Canvas setup with LTI 1.3, see:

JSON Configuration with Canvas.

   "title": "Carnap",
   "description": "Carnap Logic Framework",
   "oidc_initiation_url": "",
   "target_link_uri": "",
   "public_jwk_url": "",
   "scopes": [
   "extensions": [
         "domain": "",
         "tool_id": "",
         "platform": "",
         "settings": {
            "text": "Carnap",
            "selection_height": 800,
            "selection_width": 800,
            "privacy_level": "public",
            "placements": [
                  "text": "Carnap",
                  "enabled": true,
                  "placement": "course_navigation",
                  "message_type": "LtiResourceLinkRequest",
                  "target_link_uri": "",
                  "windowTarget": "_blank"

Note: It is possible to use Carnap in an iframe (so it appears in the Canvas page without opening a new tab), but there are caveats, especially around support for Safari and other WebKit browsers, since they are very aggressive about third-party cookie blocking. If you want to try this, remove the "windowTarget": "_blank" in the JSON.

LTI Setup (Carnap side)

After your LTI provider is configured to talk to Carnap, it needs to be registered on the Carnap server. For setup with the public Carnap instance at, contact Graham with the following details from your LMS:

  • Public JWKs URL
  • Authorization Redirect URL
  • Client ID

For example, for a cloud Canvas (production environment), these would be:

  • JWK URL:
  • Authorization redirect URL:
  • Client ID: from your LTI developer key
  • Deployment ID: not required for Carnap

If you are running a self-hosted instance of Carnap, you can configure LTI Platforms (Learning Management Systems) on the admin page at

Automatic registration

Automatic registration links a class on the Carnap server to a class in an LMS, and automatically registers students in the Carnap class when they log in to Carnap from the associated course in the LMS LMS.


Set up LTI in your learning management system. Then, initiate a launch by attempting to log in to Carnap from the LMS course that you want to connect to Carnap. A message will appear on the carnap user registration page giving you an autoregistration ID. Copy this ID down, and go to your instructor page on Carnap. Select the course that you wish to associate with your LMS course, and edit the course information. In the course information, there will be a field where you can paste the autoregistration ID.

Once that ID has been configured, all future launches from your LMS course will be registered in the associated Carnap course automatically.


  • Automatic registrations are allowed even if your course is closed (even if you've unchecked the "course open" box on your instructor page). So, you can set registration to be LTI only simply by setting your course to be closed.

  • Students will have their user information automatically synchronized with the LMS on every launch, so if they want to change their name or other details, that should be accomplished in the LMS or other upstream systems.

Developer use

Setting up a Canvas instance or other LMS is quite burdensome for doing LTI testing. Therefore, the UBC Carnap team has kindly set up a LTI Reference Implementation platform here:

Configure it in Carnap at /master_admin with the following:

iss client_id OIDC Auth Endpoint JWK URL
aaaaa abcde

To perform launches, use the "Resource Links" page.


Most of the process can be traced with dev tools. Note that Chrome now has a feature called "Auto-open DevTools for popups" that is ideal for debugging LTI failing to initiate properly in a popup. Remember to enable "Preserve log" before testing the problematic path.

These settings are accessible here:

Click the gear icon at the top right of the DevTools panel:

where that icon is

Then the setting is in the bottom right under Global:

where the setting is

Using this feature and the network tab, you can find the failing initiate/other request and figure out what the LMS is sending with its requests and how Carnap reacted.

Let's go through a successful sequence of requests in DevTools. My Canvas is at http://ubuntu-vm:8900 and my Carnap is at (these are both test instances running on virtual machines on my computer).

I click the "Carnap" link in the Canvas sidebar. A new tab opens, Canvas goes through a couple of pages itself before sending us to Carnap.

First we have a POST to Carnap's /auth/page/lti13/initiate with the following parameters in the form data:

login_hint: f326d6a8a55f30f47b2480586f97991ab9e602bb
client_id: 10000000000002
lti_message_hint: some-long-jwt-that-is-opaque-per-the-standard
canvas_region: not_configured

The main thing to note here is that this is where Carnap has to decide where to send the user back to. This is done with a combination of iss and client_id, the latter of which is optional and we do our best if it's not there.

Carnap finds a record in its LTI platforms with the issuer and client_id pair, so it sends a 303 redirect to http://ubuntu-vm:8900/api/lti/authorize_redirect as configured in the Carnap LTI settings.

Carnap sends the browser a redirect to this URL:


Things of note in this request:

  • We generate the redirect_uri.
  • The client_id, login_hint, and lti_message_hint are just from Canvas' initiation
  • state and nonce are just randomly generated strings we check on the way back.
  • Some of these parameters are kept in the session by Carnap, so if cookies don't work, we fail either at this request or the next.

The browser hits Canvas at that URL, and it bounces around a bit before coming back to Carnap with a POST

Its parameters are:

utf8: ✓
authenticity_token: VtRVOQdeoLQqfnzuNSa3kfg8vyuhcWj8lhsehEsmhx4ukCdsPxiT/3MYF416c+Tiyw7zGZFAGpfeTXPXAkTFRg==
id_token: ey -- THIS IS A VERY LONG JWT TOKEN --
state: 3CjT-Wa3RKZjgge6bjPNEycuOToQdTUa1ELW3Jx38Gh6

We don't care about any of these except for the very long id_token, which is a JSON Web Token.

Carnap receives this, performs autoregistration, and goes to the user page. Thus, this is where you will want to start looking if you are having issues with attributes getting across, for example names, emails, etc.

View the token in a JWT debugging tool