---
title: "semctx"
description: "Trace repository impact, authored intent and fail-closed migration plans, then verify changes with proof-honest verdicts. Local-first and deterministic."
canonical: https://agentpluginsdirectory.com/plugins/semctx
last-updated: 2026-09-25
---

# semctx
Trace repository impact, authored intent and fail-closed migration plans, then verify changes with proof-honest verdicts. Local-first and deterministic.
- Slug: semctx
- Publisher: hoklims
- Repository: https://github.com/hoklims/semctx
- Manifest: plugins/claude-code/plugin.json
- Version: 0.3.3
- License: Apache-2.0
- Category (editorial): other
- Skills: 3 (semctx-control, semctx-semantic, semctx-verify)
- MCP servers: 1 (semctx)
- Stars: 3
- Repository created: 2026-07-04
- Repository last pushed: 2026-09-24
- Publisher type: User
- Listing: https://agentpluginsdirectory.com/plugins/semctx
- Schema: https://agent-plugins.org/schemas/1.0.0/plugin.schema.json

## What semctx does, in the publisher's words

Give Claude Code the same proof-honest semctx workflow as Codex: reconstruct a change across repository facts, authored intent and migration controls, then verify the resulting diff and real runtime behaviour. The analysis is local and deterministic; semctx itself needs no LLM or network.

- Repository MCP tools (.mcp.json): semctx_setup (plugin-native workspace bootstrap), semctx_verify_change, semctx_inspect, and the experimental semctx_prepare_task (not a code-search retriever; ADR 0005).
- Semantic-layer tools: semctx_semantic_check, semctx_semantic_slice, semctx_change_open, semctx_change_update, semctx_change_verify, semctx_semantic_inspect, semctx_handoff, semctx_resume: authored intent, invariants, decisions, evidence and unknowns (Plane B).
- Control-plane tools: read-only semctx_control_status, semctx_control_trace, and semctx_control_plan for freshness preflight, bounded L0-L6 reconstruction, and fail-closed migration planning (Plane C); manual content-addressed semctx_control_handoff / semctx_control_resume; plus the advisory semctx_control_agent_lifecycle checkpoint, exposed over MCP with no CLI equivalent.
- Bundled CLI (dist/semctx.js): the full Bun CLI committed with the dist/semctx-mcp.js entry and their fixed root dist/semctx-shared.js runtime chunk, so a plugin update keeps agent MCP and CLI in lockstep.

From the project README, punctuation lightly normalized. Full text: https://raw.githubusercontent.com/hoklims/semctx/HEAD/plugins/claude-code/README.md

## Skills

- semctx-control: Use semctx through its MCP tools for top-down root-cause diagnosis, repository impact analysis, authored goals and invariants, proof-carrying change contracts, handoffs, bounded target proposals, and fail-closed migration planning. Use for non-trivial code changes, refactors, migrations, architectu…
- semctx-semantic: Carry intent, invariants, decisions, evidence and unknowns through a non-trivial change using the semctx semantic layer. Use when starting substantial work: open or select a change contract, pull a bounded semantic slice, then keep the contract honest as you edit, verify impact, compose the change…
- semctx-verify: Verify the semantic blast radius of a code change before finishing. Use after any non-trivial edit and before a commit or push: check impacted invariants/contracts and run the recommended tests. Invoke when the user asks to commit, open a PR, or "make sure this change is safe".

Descriptions come from the frontmatter of each SKILL.md, punctuation lightly normalized.

## MCP servers

- semctx: transport: stdio; command: bun --cwd ${PLUGIN_ROOT} ${PLUGIN_ROOT}/dist/semctx-mcp.js

Read from the plugin's own mcp.json. Environment variable names only, never values.