GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5查看技能
plurigrid AI Skills
GitHub ↗浏览 plurigrid 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。
作者统计
已收录技能
639收录技能的仓库 Stars 合计
3,235仓库 Forks
1,917平均每个技能的仓库 Stars
5同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。
热门分类
近期收录动态
全部技能
GitHub
topos-of-music
Guerino Mazzola's mathematical music theory - Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with Gay.jl color integration
☆ 5查看技能
GitHub
cosmos-vulnerability-scanner
Scans Cosmos SDK blockchains for 9 consensus-critical vulnerabilities including non-determinism, incorrect signers, ABCI panics, and rounding errors. Use when auditing Cosmos chains or CosmWasm contracts. (proj...
☆ 5查看技能
GitHub
delta-derivation
Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification
☆ 5查看技能
GitHub
synchronization
Convergence to common trajectory in coupled systems
☆ 5查看技能
GitHub
gh-interactome
GitHub author interaction network discovery. Maps cobordisms between
☆ 5查看技能
GitHub
amp-skill
Interruption pattern detection and retrieval from Amp thread history. Use for analyzing tool rejection patterns and improving agent behavior.
☆ 5查看技能
GitHub
internal-comms
Write internal communications using company formats. Use when writing
☆ 5查看技能
GitHub
smack-label-orchestrator
Manages SMACK label assignments across apps and kernel. Coordinates mandatory access control labels with process isolation.
☆ 5查看技能
GitHub
babashka
Clojure scripting without JVM startup.
☆ 5查看技能
GitHub
condensed-anima-qc
Condensed ANIMA on quantum-classical and classical-quantum networks. All skill compositions materialized as s-expressions across the polyglot substrate.
☆ 5查看技能
GitHub
load-skills
Bootstrap skill loader for instance startup. Pulls fresh skills from plurigrid/asi and loads GF(3)-balanced startup triads. MUST run at beginning of every new instance.
☆ 5查看技能
GitHub
exo-distributed
Distributed LLM inference across Apple Silicon clusters with exo. Run models across Mac Studios via Thunderbolt RDMA, auto peer discovery, and MLX sharding. Use for multi-device inference, model parallelism, or...
☆ 5查看技能
GitHub
crossmodal-gf3
GF(3) → {Tactile, Auditory, Haptic} universal bridge for accessible color perception
☆ 5查看技能
GitHub
gay-mcp
Gay.jl MCP server integration for deterministic color generation via SplitMix64
☆ 5查看技能
GitHub
tizen-compliance-checker
Validates Tizen app compliance with TCT (Tizen Compliance Tests). Checks conformance to IoT, TV, or mobile profiles.
☆ 5查看技能
GitHub
zls-integration
"zls-integration skill"
☆ 5查看技能
GitHub
network
Network tools = tailscale + curl + ssh + nmap.
☆ 5查看技能
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style
☆ 5查看技能
GitHub
depth-search
Deep multi-source research combining academic MCPs (arxiv, semantic-scholar, paper-search, deepwiki), Exa semantic search, and local ~/.topos knowledge base. Use for comprehensive research requiring multiple so...
☆ 5查看技能
GitHub
secure-storage-template
Boilerplate code templates for Tizen KeyManager integration. Generates C/C#/.NET code for password-protected secure data storage.
☆ 5查看技能
GitHub
ordered-locale
Ordered Locales (Heunen-van der Schaaf 2024): Point-free topology with direction. Frame + compatible preorder with open cone conditions.
☆ 5查看技能
GitHub
aptos-gf3-society
Aptos GF(3) Society Skill
☆ 5查看技能
GitHub
quantum-music
Quantum computer music composition and performance using quantum circuits, ZX-calculus notation, and quantum instruments
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。