Theorem Tracker

Sign in to your board.

Email Name Password

🗂️ Tracker Mine

0 selected

c new · / search · e edit open ticket · shift-click select · Esc close · ? hide

New issue

Title Type Status Priority Board Epic Assignee Blocked by (issue keys, comma separated) Blocked by whom / why Description (Markdown)

Settings

GitHub

Add a webhook on your repo → Settings ▸ Webhooks, payload URL , content type application/json, events: Branch or tag creation, Pushes, Pull requests. Paste the same secret here.

Webhook secret

Branch created → PR opened → PR merged → PR closed unmerged →

Agent API tokens

For the MCP server. Shown once — copy it into TT_TOKEN. A token can never exceed your own role, and can never reach settings, invites, people or delete.

Projects

A project key is the ticket prefix and can never be changed — it is applied when a key is rendered, so a rename would relabel every ticket that project ever had. Archive instead; archived keys stay resolvable forever.

Members of

GitHub webhook for

Payload URL , content type application/json. Each project has its own secret — there is no fallback, so one project's secret can never drive another's board.

Webhook secret for this project Repos allowed to post here (one per line, org/repo)

People

Invite someone

A single-use link bound to that one address. It expires in 7 days and carries the role you pick here.