MCP HubMCP Hub
スキル一覧に戻る

discover-formal

rand
更新日 Today
52 閲覧
29
2
29
GitHubで表示
メタautomation

について

discover-formalスキルは、定理証明、SAT/SMTソルバー、検証タスクなどの形式的手法を扱う際に自動的に起動します。このスキルは、Lean定理証明、Z3ソルバーの基礎、制約解決技法など、10種類の専門スキルへのアクセスを提供します。これにより、開発者は個々のスキルを手動で起動する必要なく、瞬時に形式検証機能を利用できるようになります。

クイックインストール

Claude Code

推奨
プラグインコマンド推奨
/plugin add https://github.com/rand/cc-polymath
Git クローン代替
git clone https://github.com/rand/cc-polymath.git ~/.claude/skills/discover-formal

このコマンドをClaude Codeにコピー&ペーストしてスキルをインストールします

ドキュメント

Formal Skills Discovery

Provides automatic access to comprehensive formal skills.

When This Skill Activates

This skill auto-activates when you're working with:

  • formal methods
  • theorem proving
  • SAT
  • SMT
  • Z3
  • Lean
  • constraint solving
  • verification

Available Skills

Quick Reference

The Formal category contains 10 skills:

  1. backtracking-search
  2. constraint-propagation
  3. csp-modeling
  4. lean-mathlib4
  5. lean-proof-basics
  6. lean-tactics
  7. lean-theorem-proving
  8. sat-solving-strategies
  9. smt-theory-applications
  10. z3-solver-basics

Load Full Category Details

For complete descriptions and workflows:

cat skills/formal/INDEX.md

This loads the full Formal category index with:

  • Detailed skill descriptions
  • Usage triggers for each skill
  • Common workflow combinations
  • Cross-references to related skills

Load Specific Skills

Load individual skills as needed:

cat skills/formal/backtracking-search.md
cat skills/formal/constraint-propagation.md
cat skills/formal/csp-modeling.md
cat skills/formal/lean-mathlib4.md
cat skills/formal/lean-proof-basics.md

Progressive Loading

This gateway skill enables progressive loading:

  • Level 1: Gateway loads automatically (you're here now)
  • Level 2: Load category INDEX.md for full overview
  • Level 3: Load specific skills as needed

Usage Instructions

  1. Auto-activation: This skill loads automatically when Claude Code detects formal work
  2. Browse skills: Run cat skills/formal/INDEX.md for full category overview
  3. Load specific skills: Use bash commands above to load individual skills

Next Steps: Run cat skills/formal/INDEX.md to see full category details.

GitHub リポジトリ

rand/cc-polymath
パス: skills/discover-formal
aiclaude-codeskills

関連スキル

content-collections

メタ

This skill provides a production-tested setup for Content Collections, a TypeScript-first tool that transforms Markdown/MDX files into type-safe data collections with Zod validation. Use it when building blogs, documentation sites, or content-heavy Vite + React applications to ensure type safety and automatic content validation. It covers everything from Vite plugin configuration and MDX compilation to deployment optimization and schema validation.

スキルを見る

sglang

メタ

SGLang is a high-performance LLM serving framework that specializes in fast, structured generation for JSON, regex, and agentic workflows using its RadixAttention prefix caching. It delivers significantly faster inference, especially for tasks with repeated prefixes, making it ideal for complex, structured outputs and multi-turn conversations. Choose SGLang over alternatives like vLLM when you need constrained decoding or are building applications with extensive prefix sharing.

スキルを見る

cloudflare-turnstile

メタ

This skill provides comprehensive guidance for implementing Cloudflare Turnstile as a CAPTCHA-alternative bot protection system. It covers integration for forms, login pages, API endpoints, and frameworks like React/Next.js/Hono, while handling invisible challenges that maintain user experience. Use it when migrating from reCAPTCHA, debugging error codes, or implementing token validation and E2E tests.

スキルを見る

Algorithmic Art Generation

メタ

This skill helps developers create algorithmic art using p5.js, focusing on generative art, computational aesthetics, and interactive visualizations. It automatically activates for topics like "generative art" or "p5.js visualization" and guides you through creating unique algorithms with features like seeded randomness, flow fields, and particle systems. Use it when you need to build reproducible, code-driven artistic patterns.

スキルを見る