plurigrid/structured-decomp
ies/music-topos/.agents/skills/structured-decomp/SKILL.md
StructuredDecompositions.jl: Sheaves on tree decompositions for FPT algorithms
$ install --global
skillsauthnpx skillsauth add plurigrid/asi structured-decompInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Apr 24, 2026, 8:43 PM1.8s1 file scanned
SKILL.md
- name:
- structured-decomp
- description:
- StructuredDecompositions.jl: Sheaves on tree decompositions for FPT algorithms
- source:
- AlgebraicJulia/StructuredDecompositions.jl
- license:
- MIT
- trit:
- 0
Structured Decompositions Skill
Core Concepts
StrDecomp = Functor d: ∫G → C where:
- ∫G = category of elements of shape graph
- C = target category (Graph, FinSet, etc.)
using StructuredDecompositions
# Create decomposition from graph
d = StrDecomp(graph)
# Access components
bags(d) # Local substructures
adhesions(d) # Overlaps
adhesionSpans(d) # Span morphisms
The 𝐃 Functor
Lifts decision problems to decomposition space:
# Define problem as functor
k_coloring(G) = homomorphisms(G, K_k)
# Lift and solve
solution = 𝐃(k_coloring, decomp, CoDecomposition)
(answer, _) = decide_sheaf_tree_shape(k_coloring, decomp)
FPT Complexity
Runtime: O(f(width) × n) where width = max adhesion size
GF(3) Triads
dmd-spectral (-1) ⊗ structured-decomp (0) ⊗ koopman-generator (+1) = 0 ✓
sheaf-cohomology (-1) ⊗ structured-decomp (0) ⊗ colimit-reconstruct (+1) = 0 ✓
References
- Bumpus et al. arXiv:2207.06091
- algebraicjulia.github.io/StructuredDecompositions.jl
Related Skills
plurigrid/bdd-mathematical-verification
development
VerifiedTrustedCommunity
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.
16SKILL.mdUpdated Apr 11, 2026
plurigrid/Skill Maker: AI Skill Factory for Tools
tools
VerifiedTrustedCommunity
Meta-skill that generates domain-specific AI skills from tool documentation
16SKILL.mdUpdated Apr 11, 2026
plurigrid/CQ-AI: Deterministic Security Scanning with Ternary Polarity
development
VerifiedTrustedCommunity
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
16SKILL.mdUpdated Apr 11, 2026
plurigrid/yoneda-directed
development
VerifiedTrustedCommunity
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.
16SKILL.mdUpdated Apr 11, 2026