npx skills add majiayu000/claude-skill-registry --skill datalog-fixpoint --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Datalog Fixpoint Skill Bottom-up fixpoint iteration for recursive Datalog queries without explicit recursion. ## Core Concept Datalog computes fixpoints via iterative saturation: ``` T^0(∅) → T^1 → T^2 → ... → T^ω (fixpoint) ``` Where T is the immediate consequence operator. ## Scientific Skill Interleaving This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem: ### Dataframes - **polars** [○] via bicomodule - High-performance dataframes ### Bibliography References - `algorithms`: 19 citations in bib.duckdb ## Cat# Integration Fixpoint computation maps to Cat# via coalgebraic semantics: ``` Trit: 0 (ERGODIC - iterative bridge) Home: Prof (profunctors/bimodules) Poly Op: ⊗ (parallel saturation) Kan Role: Adj (Kleisli adjunction) ``` ### GF(3) Naturality Datalog fixpoint iteration is inherently ERGODIC: - Each iteration step is a natural transformation - Convergence = reaching the terminal coalgebra - The fixpoint IS the bicomodule equilibrium
- Core Concept
- Scientific Skill Interleaving
- Dataframes
- Bibliography References
- Cat# Integration
- GF(3) Naturality
What does the datalog-fixpoint skill do?
Datalog bottom-up fixpoint iteration for recursive queries
How do I install it?
Run `npx skills add majiayu000/claude-skill-registry --skill datalog-fixpoint --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From majiayu000/claude-skill-registry, a repository with 534 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.