GitHub
turing-chemputer
Cronin's Turing-complete chemputer for programmable chemical synthesis
☆ 5View skill
Lifestyle AI Skills
Discover Lifestyle skills, compare source repositories and read the instructions for each workflow.
Categories: Lifestyle
Lifestyle Clear filters
Browse skills
GitHub
deepwiki-mcp
DeepWiki MCP server for AI-powered GitHub repository documentation and
☆ 5View skill
GitHub
alice
World ALICE Skill
☆ 5View skill
GitHub
condensed-analytic-stacks
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
☆ 5View skill
GitHub
captp
CapTP: Capability Transfer Protocol
☆ 5View skill
GitHub
doc-coauthoring
Guide users through a structured workflow for co-authoring documentation.
☆ 5View skill
GitHub
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation
☆ 5View skill
GitHub
joker-lint
Joker Lint Skill
☆ 5View skill
GitHub
pijul-sparse-skills
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
☆ 5View skill
GitHub
kolmogorov-codex-quest
Kolmogorov Codex Quest
☆ 5View skill
GitHub
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key
☆ 5View skill
GitHub
haskell-diagrams
haskell-diagrams - Declarative Vector Graphics with Diagrams DSL
☆ 5View skill
GitHub
bmorphism-stars
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
☆ 5View skill
GitHub
cynara-policy-checker
Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.
☆ 5View skill
GitHub
pun-decomposition
Pun Decomposition Skill (MINUS -1)
☆ 5View skill
GitHub
anoma-intents
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
☆ 5View skill
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
☆ 5View skill
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types
☆ 5View skill
GitHub
birkhoff-average
Time average of observable along trajectory
☆ 5View skill
GitHub
address-sanitizer
Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.
☆ 5View skill
GitHub
mruler
mruler - Meta-Ruler Skill Governance
☆ 5View skill
GitHub
cairo-vulnerability-scanner
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet p...
☆ 5View skill
GitHub
catsharp-galois
CatSharp Scale Galois Connections between agent-o-rama and Plurigrid ACT via Mazzola's categorical music theory
☆ 5View skill
GitHub
git-forensics
分析 Git 历史，发现"逻辑耦合"（总一起改的文件）和"热点"（高频修改的复杂模块）。基于 Adam Tornhill 的《Your Code as a Crime Scene》方法论。
☆ 5View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.