القائمة
جمع SkillsMP عدد ٥ من skills من hoklims/semctx. افتح أي skill لمراجعة مصدره وتفاصيله.
عرض ٥ من أصل ٥ skills مجمعة.
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…
لغة النص الأصلي: الإنجليزية
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…
لغة النص الأصلي: الإنجليزية
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…
لغة النص الأصلي: الإنجليزية
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…
لغة النص الأصلي: الإنجليزية
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…
لغة النص الأصلي: الإنجليزية