hoklims/semctx
v0.4.5Apache-2.0
Trace repository impact, authored intent and fail-closed migration plans, then verify changes with proof-honest verdicts. Local-first and deterministic.
commands
- bun
scripts
- index-control-plane
- scripts/benchmark.py
- scripts/gateway.py
- scripts/graphify_incremental.py
- scripts/index_control.py
- scripts/launch_detached.py
- scripts/lsp_benchmark.py
- scripts/reconcile_worker.py
- scripts/scip_json_probe.py
- scripts/scip_probe.py
2 more
- semctx-control
- scripts/omp-cli.mjs
plugin.json
- name
- semctx
- version
- 0.4.5
- description
- Trace repository impact, authored intent and fail-closed migration plans, then verify changes with proof-honest verdicts. Local-first and deterministic.
- author
- hoklimshoklims@gmail.comhttps://github.com/hoklims
- license
- Apache-2.0
- repository
- https://github.com/hoklims/semctx
mcp.json
- semctxstdiobun --cwd ${PLUGIN_ROOT} ${PLUGIN_ROOT}/dist/semctx-mcp.js
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "semctx",
"version": "0.4.5",
"description": "Trace repository impact, authored intent and fail-closed migration plans, then verify changes with proof-honest verdicts. Local-first and deterministic.",
"author": {
"name": "hoklims",
"email": "hoklims@gmail.com",
"url": "https://github.com/hoklims"
},
"homepage": "https://github.com/hoklims/semctx#readme",
"repository": "https://github.com/hoklims/semctx",
"license": "Apache-2.0",
"keywords": ["verify", "change-impact", "semantic-context", "invariants", "contracts", "migration", "control-plane", "omp"]
}
What else this package ships
These files come with the package and this site does not publish them. They are listed so you know what is there before you install it.
- 9Python files
- omp-cli.mjs
- 4JSON files
- openai.yaml