12 tagged dependency analysis, measured the same way as everything else here.
Skill Claude CodeCodex
Analyze Python module architecture using pyscn - class coupling (CBO), cohesion (LCOM), dependency cycles, and module communities. Use when user asks about architecture, module structure, coupling, circular dependencies, or which files to review or change together.
Skill Claude CodeCodex
Run the pyscn command-line tool for Python code quality analysis - CI/CD quality gates, HTML/JSON/CSV reports, full analysis runs, and project configuration. Use when user wants a CI check, a shareable report file, or to configure pyscn for a project.
Skill Claude CodeCodex
Get an overall Python code quality health score using pyscn. Use when user asks how healthy or good the code is, wants a quality overview, a grade, a summary of technical debt, or a before/after quality comparison.
Skill Claude CodeCodex
Parses Software Bill of Materials (SBOM) in CycloneDX and SPDX JSON formats to identify supply chain vulnerabilities by correlating components against the NVD CVE database via the NVD 2.0 API. Builds dependency graphs, calculates risk scores, identifies transitive vulnerability paths, and generates compliance reports.…
Skill Claude CodeCodex
Use the Maven Decoder MCP server to inspect code, APIs, methods, dependencies, versions, and usage examples from Maven artifacts installed in the user's local /.m2 repository. Use when working on Java, Maven, Gradle, Spring, Jakarta, Android, or JVM projects and the user asks about dependency internals, installed…
sarveshtalele/mcp-skills-registry
Skill Claude CodeCodex
Perform a deterministic, graph-driven Change Impact Analysis for a repository. Given a set of changed files, builds a dependency graph, finds directly and transitively affected modules, validates API contracts for breaking changes, parses CODEOWNERS, and computes a 0-100 deployment risk score. Trigger on: change…
Skill Claude CodeCodex
Find out what a Lean 4 project actually rests on, and why. Reports every theorem reaching a sorry anywhere upstream, everything settled by nativedecide rather than the kernel, and the shortest path from any declaration to any axiom with each hop labelled a statement dependency or a proof dependency. Use when the user…
Skill Claude CodeCodex
Check whether a machine-generated Lean 4 proof actually proves its theorem. A proof can appear in the environment, pass lake build, and still not have been proved: when elaboration fails Lean admits the declaration carrying sorryAx, which an axiom report cannot tell apart from a sorry somebody typed. Use when auditing…
tetracoralla/deterministic-dependency-engine
Skill Claude CodeCodex
Resolve prerequisites, ready work, execution order, blockers, change impact, dependency slices, and path explanations with Deterministic Dependency Engine over an explicitly declared graph. Use when a task asks who depends on what or why work is blocked; do not use it to infer undeclared relations or solve…