本文へ移動
cccskills
無料GitHub で公開

mathematical-logic-expert

Expert in formal logic, model theory, computability, and foundations of mathematics

インストール方法を見る

含まれるファイル(6)

  • SKILL.md1.2 KB
  • _toc.md442 B
  • modules/core-guidance.md2.5 KB
  • modules/known-gaps.md526 B
  • modules/research-checklist.md861 B
  • README.md258 B

SKILL.md(原文)

インストールする前に、エージェントに与えられる指示の中身を確認できます。

Mathematical Logic Expert

Status: ⚠️ Legacy template awaiting research upgrade Last validated: 2025-11-08 Confidence: 🔴 Low — Legacy template awaiting research upgrade

How to use this skill

  1. Start with modules/research-checklist.md and capture up-to-date sources.
  2. Review modules/known-gaps.md and resolve outstanding items.
  3. Load topic-specific modules from _toc.md only after verification.
  4. Update metadata when confidence improves.

Module overview

Research status

  • Fresh web research pending (conversion captured on 2025-11-08).
  • Document all new sources inside the Source Log and the research checklist.
  • Do not rely on this skill until confidence is upgraded to medium or high.

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

同じリポジトリのスキル

概要と使いどころ

adaptyv

無料

Cloud laboratory platform for automated protein testing and validation. Use when designing proteins and needing experimental validation including binding assays, expression testing, thermostability measurements, enzyme activity assays, or protein sequence optimization. Also use for submitting experiments via API, tracking experiment status, downloading results, optimizing protein sequences for better expression using computational tools (NetSolP, SoluProt, SolubleMPNN, ESM), or managing protein design workflows with wet-lab validation.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6732026年8月31日 更新

aeon

無料

This skill should be used for time series machine learning tasks including classification, regression, clustering, forecasting, anomaly detection, segmentation, and similarity search. Use when working with temporal data, sequential patterns, or time-indexed observations requiring specialized algorithms beyond standard ML approaches. Particularly suited for univariate and multivariate time series analysis with scikit-learn compatible APIs.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6732026年8月31日 更新

Creating algorithmic art using p5.js with seeded randomness and interactive parameter exploration. Use this when users request creating art using code, generative art, algorithmic art, flow fields, or particle systems. Create original algorithmic art rather than copying existing artists' work to avoid copyright violations.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6732026年8月31日 更新

Access real-time and historical stock market data, forex rates, cryptocurrency prices, commodities, economic indicators, and 50+ technical indicators via the Alpha Vantage API. Use when fetching stock prices (OHLCV), company fundamentals (income statement, balance sheet, cash flow), earnings, options data, market news/sentiment, insider transactions, GDP, CPI, treasury yields, gold/silver/oil prices, Bitcoin/crypto prices, forex exchange rates, or calculating technical indicators (SMA, EMA, MACD, RSI, Bollinger Bands). Requires a free API key from alphavantage.co.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6732026年8月31日 更新

Implement proven backend architecture patterns including Clean Architecture, Hexagonal Architecture, and Domain-Driven Design. Use when architecting complex backend systems or refactoring existing applications for better maintainability.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6732026年8月31日 更新

astropy

無料

Comprehensive Python library for astronomy and astrophysics. This skill should be used when working with astronomical data including celestial coordinates, physical units, FITS files, cosmological calculations, time systems, tables, world coordinate systems (WCS), and astronomical data analysis. Use when tasks involve coordinate transformations, unit conversions, FITS file manipulation, cosmological distance calculations, time scale conversions, or astronomical data processing.

日本語の概要は準備中です。原文の説明を表示しています。

foryourhealth111-pixel/Vibe-Skills3,6732026年8月31日 更新

foryourhealth111-pixel のスキルをすべて見る

このスキルの問題を報告する