The-40-Thieves

15 mods across 3 repositories, 8 stars between them.

premise-verifier

01

The-40-Thieves/obsidian-tc

Agent Claude Code

Read-only verifier for a claim about this codebase — a Linear ticket's premise, a cited file:line, a quoted count, or a code comment vouching for an invariant. Returns CONFIRMED / PARTLY STALE / REFUTED with file:line evidence. Never edits.

4 9d ago A 65 tokens AGPL-3.0

PreToolUse

02

The-40-Thieves/obsidian-tc

Hook Claude Code

Runs before the agent uses a tool for Edit and Write tool calls, executing block-generated-edits.sh. From The-40-Thieves/obsidian-tc.

4 9d ago A tokens not measured AGPL-3.0

PostToolUse

03

The-40-Thieves/obsidian-tc

Hook Claude Code

Runs after a tool call finishes for Edit and Write tool calls, executing remind-regenerate.sh. From The-40-Thieves/obsidian-tc.

4 9d ago A tokens not measured AGPL-3.0

obsidian-tc

04

The-40-Thieves/obsidian-tc

Settings file Claude Code

Agent settings declaring 2 hook events (PreToolUse, PostToolUse).

4 9d ago A tokens not measured AGPL-3.0

gates

05

The-40-Thieves/obsidian-tc

Skill Claude CodeCodex

Run this repo's verification gates before opening a PR — enumerates them from the CI workflows rather than from memory, because several have confusingly adjacent names.

4 9d ago A 34 tokens AGPL-3.0

reconcile-backlog

06

The-40-Thieves/obsidian-tc

Skill Claude CodeCodex

Reconcile the whole open Linear backlog against HEAD, upstream state, and the decision record — a batch wrapper around verify-ticket-premise that adds external-gate checks, blocker-edge auditing, a disposition taxonomy, and an on-disk ledger so the pass survives compaction.

4 9d ago A 59 tokens AGPL-3.0

The-40-Thieves/obsidian-tc

Skill Claude CodeCodex

Use before implementing any Linear ticket in this repo — checks the ticket's cited file:line references, counts, and central claim against HEAD and reports HOLDS / PARTLY STALE / FALSE before any code is written.

4 9d ago A 49 tokens AGPL-3.0

context7

08

The-40-Thieves/obsidian-tc

MCP server Claude CodeCodexCursor +2

Gives the agent up-to-date documentation and code examples for libraries and frameworks, fetched on demand so answers are not stuck at the model's training cutoff. Runs locally from the @upstash/context7-mcp npm package.

4 9d ago A tokens not measured AGPL-3.0

The-40-Thieves/obsidian-tc

Instructions file CodexOpenCode

AGENTS.md instructions for The-40-Thieves/obsidian-tc, covering agents.md, agent skills, issue tracker, triage labels and domain docs.

4 9d ago A 178 tokens AGPL-3.0

The-40-Thieves/obsidian-tc

Instructions file

Claude Code instructions for The-40-Thieves/obsidian-tc, covering obsidian-tc — working notes for claude code, toolchain — pinned, do not float, workspaces, commands and before implementing a ticket.

4 9d ago A 3,857 tokens AGPL-3.0

domain

11

The-40-Thieves/obsidian-tc

Agent

How the engineering skills should consume this repo's domain documentation when exploring the codebase.

4 9d ago A 0 tokens AGPL-3.0

issue-tracker

12

The-40-Thieves/obsidian-tc

Agent

Issues for this repo live in Linear, on the The 13th Letter team (identifier prefix THE-). Pull requests live on GitHub (The-40-Thieves/obsidian-tc) and are not the issue tracker — see Pull requests below for how the two relate.

4 9d ago A 0 tokens AGPL-3.0

triage-labels

13

The-40-Thieves/obsidian-tc

Agent

The skills speak in terms of five canonical triage roles. This file maps those roles to the actual label strings used in this repo's issue tracker (Linear, team The 13th Letter — see issue-tracker.md).

4 9d ago A 0 tokens AGPL-3.0

codecalc

14

The-40-Thieves/codecalc

Skill Claude CodeCodex

Use when about to state a number, claim two programs are equivalent, claim a speedup, or state a complexity — codecalc computes these exactly instead of estimating them, and this file says when calling is mandatory and how results must be reported.

3 9d ago A 52 tokens original Apache-2.0

codecalc

15

The-40-Thieves/codecalc

MCP server Claude CodeCodexCursor +2

Universal code + logic calculator for AI models: execute 31 languages, evaluate logic, analyze complexity. Exposed via MCP. Runs locally from the codecalc Python package.

3 9d ago A tokens not measured original Apache-2.0