Manusで任意のスキルを実行
ワンクリックで

ワンクリックでManusで任意のスキルを実行

tdwag123

GitHub クリエイタープロフィール

tdwag123

1 件の GitHub リポジトリにある 1 件の収集済み skills をリポジトリ単位で表示します。

github/tdwag123 最大リポジトリ: Vibe-Proving-Skills

収集済み skills

1

リポジトリ

1

更新

2026-04-23

リポジトリマップ

skills がある場所

収集済み skill 数が多いリポジトリを、このクリエイターカタログ内の比率と職業範囲とともに表示します。

Vibe-Proving-Skills

1 件の skills · 2026-04-23

ソフトウェア開発者

1 件の職業カテゴリ · 100% 分類済み

リポジトリエクスプローラー

リポジトリと代表的な skills

クリエイター/リポジトリ/skill

Vibe-Proving-Skills

1 件の skills302026-04-23 更新

クリエイター内の 100%

skill

職業分類

説明

更新

lean4-guidelines

ソフトウェア開発者

Lean 4 formalization and proving workflow. Use for theorem formalization, definition design, proof construction, and proof repair with MCP self-check and Mathlib-first reuse.

1 件中 1 件のリポジトリを表示

すべてのリポジトリを表示しました

ワンクリックで任意のスキルを実行