How does this skill use tree-sitter?

It integrates with tree-sitter to analyze Abstract Syntax Trees (ASTs) at the boundaries of functions and modules, checking if local syntax and type definitions align with the global structure.

What is a 'gluing obstruction' or H1 in software?

In sheaf cohomology, an obstruction (H1) represents a conflict between module interfaces that prevents them from being merged or 'glued' into a single, consistent global program state.

When should I use the Sheaf Cohomology skill?

Use it during complex refactoring, when managing high-stakes microservices, or when you require mathematical rigor to ensure that local changes won't cause systemic global failures.

What does local-to-global consistency mean in code?

It refers to the principle that if individual modules (local sets) are internally consistent and their shared interfaces (transitions) match perfectly, the entire software system is mathematically guaranteed to be globally correct.

Sheaf Cohomology Verifier

Name: Sheaf Cohomology Verifier
Author: plurigrid

byplurigrid

•

安全与测试

Validates code consistency across modules using topological Čech cohomology to ensure local patches form a globally correct structure.

The Sheaf Cohomology skill provides advanced formal verification for software architectures by applying mathematical descent conditions to code patches. By treating individual modules as 'open sets' and their interfaces as transition functions, it computes Čech cohomology groups to identify 'obstructions' to global consistency. This is particularly useful for complex refactoring, ensuring type compatibility across distributed systems, and verifying that local changes do not break the global structural integrity of the codebase.

主要功能

012 GitHub stars

02Verification of descent conditions for global code section gluing

03Tree-sitter integration for AST-level local consistency checks

04Čech cohomology computation to identify gluing obstructions (H1)

05GF(3) triad integration for compositional coherence and validation

06Simplicial nerve construction from module coverage and interfaces

使用场景

01Verifying global type consistency during large-scale refactoring projects

02Ensuring local code patches satisfy global consistency constraints in distributed systems

03Identifying architectural 'obstructions' where module boundaries fail to align

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi sheaf-cohomology

For use in Claude.ai and ChatGPT