SKILL·D354E5

datalog-fixpoint

majiayu000
Aktualisiert 1 month ago
19 Ansichten
58
9
58
Auf GitHub ansehen
Anderedata

Über

Diese Fähigkeit ermöglicht die rekursive Datalog-Abfrageverarbeitung durch Bottom-Up-Fixpunkt-Iteration und berechnet automatisch die Sättigung ohne manuelle Rekursion. Sie integriert sich mit Datenwerkzeugen wie Polars über Bikomoduln und bildet auf kategoriale Semantik für parallele Ausführung ab. Nutzen Sie sie, wenn Sie rekursive logische Regeln auswerten oder transitive Hüllenoperationen effizient durchführen müssen.

Schnellinstallation

Claude Code

Empfohlen
Primär
npx skills add majiayu000/claude-skill-registry -a claude-code
Plugin-BefehlAlternativ
/plugin add https://github.com/majiayu000/claude-skill-registry
Git CloneAlternativ
git clone https://github.com/majiayu000/claude-skill-registry.git ~/.claude/skills/datalog-fixpoint

Kopieren Sie diesen Befehl und fügen Sie ihn in Claude Code ein, um diese Fähigkeit zu installieren

GitHub Repository

majiayu000/claude-skill-registry
Pfad: skills/data/datalog-fixpoint
0
FAQ

Frequently asked questions

What is the datalog-fixpoint skill?

datalog-fixpoint is a Claude Skill by majiayu000. Skills package instructions and resources that Claude loads on demand, so Claude can perform datalog-fixpoint-related tasks without extra prompting.

How do I install datalog-fixpoint?

Use the install commands on this page: add datalog-fixpoint to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.

What category does datalog-fixpoint belong to?

datalog-fixpoint is in the Other category, tagged data.

Is datalog-fixpoint free to use?

Yes. datalog-fixpoint is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

Verwandte Skills

llamaguard
Andere

LlamaGuard ist Metas 7-8B-Parameter-Modell zur Moderation von LLM-Eingaben und -Ausgaben in sechs Sicherheitskategorien wie Gewalt und Hassrede. Es bietet eine Genauigkeit von 94-95 % und kann mit vLLM, Hugging Face oder Amazon SageMaker eingesetzt werden. Nutzen Sie diese Skill, um Inhaltsfilterung und Sicherheitsguardrails einfach in Ihre KI-Anwendungen zu integrieren.

Skill ansehen
cost-optimization
Andere

Diese Claude Skill unterstützt Entwickler bei der Optimierung von Cloud-Kosten durch Ressourcen-Dimensionierung, Tagging-Strategien und Ausgabenanalysen. Sie bietet einen Rahmen zur Senkung von Cloud-Ausgaben und zur Implementierung von Kosten-Governance für AWS, Azure und GCP. Nutzen Sie sie, wenn Sie Infrastrukturkosten analysieren, Ressourcen richtig dimensionieren oder Budgetvorgaben einhalten müssen.

Skill ansehen
sports-betting-analyzer
Andere

Diese Claude Skill analysiert Sportwettenmärkte inklusive Handicaps, Over/Unders und Spezialwetten, indem sie historische Trends und situative Statistiken untersucht, um Wertwetten zu identifizieren. Sie liefert strukturierte Markdown-Ausgaben mit umsetzbaren Empfehlungen zu Bildungszwecken. Entwickler sollten dies für Sportwetten-Analysetools nutzen, wobei zu beachten ist, dass es nur zur Unterhaltung/Bildung konzipiert wurde.

Skill ansehen
quantizing-models-bitsandbytes
Andere

Diese Fähigkeit quantisiert LLMs auf 8-Bit- oder 4-Bit-Präzision mittels bitsandbytes und erreicht dabei eine Speicherreduzierung von 50–75 % bei minimalem Genauigkeitsverlust. Sie ist ideal für den Betrieb größerer Modelle mit begrenztem GPU-Speicher oder zur Beschleunigung von Inferenzvorgängen und unterstützt Formate wie INT8, NF4 und FP4. Die Fähigkeit integriert sich in HuggingFace Transformers und ermöglicht QLoRA-Training sowie 8-Bit-Optimierer.

Skill ansehen