Skip to main content
skillsmp

メニュー

mutable-state-inc
GitHub クリエイタープロフィール

mutable-state-inc

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

github/mutable-state-inc最大リポジトリ: lean-collab
収集済み skills
6
リポジトリ
4
更新
2026年3月27日
リポジトリマップ

skills がある場所

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

#01
lean-collab
2 件の skills · 2026年1月25日
ソフトウェア開発者
1 件の職業カテゴリ · 100% 分類済み
33%比率
#02
siliconswarm-at-ensue-plugin
2 件の skills · 2026年3月27日
ソフトウェア開発者
1 件の職業カテゴリ · 100% 分類済み
33%比率
#03
ensue-skill
1 件の skills · 2026年1月29日
その他コンピュータ職
1 件の職業カテゴリ · 100% 分類済み
17%比率
#04
ensue-codex-skill
1 件の skills · 2025年12月30日
ソフトウェア開発者
1 件の職業カテゴリ · 100% 分類済み
17%比率
リポジトリエクスプローラー

リポジトリと代表的な skills

#001
lean-collab
2 件の skills7222026年1月25日 更新
クリエイター内の 33%
lean-collab
ソフトウェア開発者

Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.

2026年1月25日
mathlib-knowledge
ソフトウェア開発者

Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.

2026年1月25日
#002
siliconswarm-at-ensue-plugin
2 件の skills202026年3月27日 更新
クリエイター内の 33%
ane-private-api
ソフトウェア開発者

Complete reference for the Apple Neural Engine private API via Rust bindings.

2026年3月27日
autoresearch
ソフトウェア開発者

Optimize DistilBERT inference latency on ANE. Beat CoreML.

2026年3月27日
#003
ensue-skill
1 件の skills421102026年1月29日 更新
クリエイター内の 17%
ensue-memory
その他コンピュータ職

Augmented cognition layer that makes users smarter by connecting conversations to their persistent knowledge tree. Use proactively when topics arise that might have prior knowledge, and when users ask to remember, recall, search, or organize. Triggers on…

2026年1月29日
#004
ensue-codex-skill
1 件の skills502025年12月30日 更新
クリエイター内の 17%
ensue-memory
ソフトウェア開発者

Augmented cognition layer that makes users smarter by connecting conversations to their persistent knowledge tree. Use proactively when topics arise that might have prior knowledge, and when users ask to remember, recall, search, or organize. Triggers on…

2025年12月30日
4 件中 4 件のリポジトリを表示
すべてのリポジトリを表示しました