跳到正文
cccskills
免费在 GitHub 公开

mathematical-logic-expert

Provides a starting structure for work on formal logic and mathematical foundations, with source checks and a review of unresolved gaps. The material is a legacy template awaiting research and validation.

中文简介正在准备中。当前显示英语简介。

原文查看原文说明

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

实测评分 未实测

查看安装方法

适用场景

  • Reviewing sources for formal logic topics
  • Checking unresolved gaps before using topic modules
  • Planning validation of mathematical foundations material

包含的文件(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(原文)

安装前可以查看交给 AI 代理的指令内容。

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.

评价

还没有评价。欢迎分享你的使用感受。

评论

无需登录即可发表。欢迎分享使用感受、提问,或说明在哪些环境下无法运行。

还没有评论。来写第一条吧。

提交后会立即公开。请勿填写邮箱、电话等个人信息。URL 最多 2 个。

0 / 1000 字

此表单受 reCAPTCHA 保护,适用 Google 的隐私权政策和服务条款。

同一仓库的技能

adaptyv

免费

Support experimental validation of designed proteins through a cloud laboratory. Prepare and optimize sequences, submit tests for binding, expression, thermal stability, or enzyme activity, track experiment progress, and retrieve results through the API.

中文简介正在准备中。当前显示英语简介。

  • Submit designed proteins for binding tests
  • Request expression, thermal stability, or enzyme activity tests
  • Optimize sequences for solubility before experiments
foryourhealth111-pixel/Vibe-Skills37652026年10月23日 更新

aeon

免费

Analyze time series, observations ordered over time, using aeon in Python. Build classification, prediction, and clustering workflows, detect unusual patterns or changes, and compare methods through an interface compatible with scikit-learn.

中文简介正在准备中。当前显示英语简介。

  • Classifying time series by their patterns
  • Forecasting future values from past observations
  • Detecting anomalies and change points
foryourhealth111-pixel/Vibe-Skills37652026年10月23日 更新

Create original generative art with p5.js, using code to produce patterns and motion. Receive a written artistic concept and an interactive HTML viewer with adjustable parameters, reproducible random variations, seed navigation, and PNG downloads.

中文简介正在准备中。当前显示英语简介。

  • Create art from particle motion and flow fields
  • Explore patterns by adjusting sliders
  • Reproduce a favorite variation with the same seed
foryourhealth111-pixel/Vibe-Skills37652026年10月23日 更新

Retrieve stock prices, exchange rates, cryptocurrency prices, company financial statements, and economic indicators through the Alpha Vantage API. It also covers historical data, news sentiment, and technical indicators, which summarize price and trading patterns.

中文简介正在准备中。当前显示英语简介。

  • Retrieve historical stock prices and trading volumes
  • Collect company financial statements and earnings data
  • Check foreign exchange and cryptocurrency prices
foryourhealth111-pixel/Vibe-Skills37652026年10月23日 更新

Design backend systems with clear boundaries between business rules, databases, and external services. Use Clean Architecture, Hexagonal Architecture, and Domain-Driven Design to organize new applications, refactor existing code, and make core logic easier to test.

中文简介正在准备中。当前显示英语简介。

  • Planning the structure of a new backend
  • Refactoring tightly coupled applications
  • Testing business rules independently of external services
foryourhealth111-pixel/Vibe-Skills37652026年10月23日 更新

astropy

免费

Helps process astronomical data in Python by converting coordinates, units, and time scales, working with FITS observation files, matching object catalogs, and calculating distances using cosmological models.

中文简介正在准备中。当前显示英语简介。

  • Converting celestial coordinates
  • Reading and editing FITS observation files
  • Matching objects across astronomical catalogs
foryourhealth111-pixel/Vibe-Skills37652026年10月23日 更新

查看 foryourhealth111-pixel 的全部技能

报告此技能的问题