GitHub
constraint-generalization
Generalization and composition of constraints across navigators
☆ 5查看技能
plurigrid AI Skills
GitHub ↗浏览 plurigrid 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。
作者统计
已收录技能
639收录技能的仓库 Stars 合计
3,235仓库 Forks
1,917平均每个技能的仓库 Stars
5同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。
热门分类
近期收录动态
全部技能
GitHub
emacs
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
☆ 5查看技能
GitHub
substrate-vulnerability-scanner
Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weights, and bad origin checks. Use when auditing Substrate runtimes or FRAME pallets. (projec...
☆ 5查看技能
GitHub
stellogen
Stellogen Skill
☆ 5查看技能
GitHub
sicp
SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design
☆ 5查看技能
GitHub
anima-theory
ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understandi...
☆ 5查看技能
GitHub
datalog-fixpoint
Datalog bottom-up fixpoint iteration for recursive queries
☆ 5查看技能
GitHub
babashka-clj
Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.
☆ 5查看技能
GitHub
bdd-mathematical-verification
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpe...
☆ 5查看技能
GitHub
privilege-declaration-generator
Generates tizen-manifest.xml and config.xml privilege declarations. Auto-detects required privileges from app source code.
☆ 5查看技能
GitHub
rama-gay-zig
rama-gay-zig skill
☆ 5查看技能
GitHub
discopy-operads
DiscoPy Operads Skill
☆ 5查看技能
GitHub
koopman-generator
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
☆ 5查看技能
GitHub
discohy-streams
DisCoPy categorical color streams via Hy with 3 parallel TAP streams and 7 operad variants
☆ 5查看技能
GitHub
active-interleave
Active Interleave Skill
☆ 5查看技能
GitHub
cognitive-surrogate
cognitive-surrogate skill
☆ 5查看技能
GitHub
behaviour-surprisal-analysis
Behaviour Surprisal Analysis
☆ 5查看技能
GitHub
smack-policy-generator
Generates SMACK policy files from app requirements. Creates mandatory access control rules for process isolation and resource access.
☆ 5查看技能
GitHub
mbius-path-filtering
Non-orientable topological filtering that eliminates self-revisiting paths
☆ 5查看技能
GitHub
acsets-hatchery
Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.
☆ 5查看技能
GitHub
modelica
Modelica acausal equation-based multi-domain modeling via Wolfram Language. Chemputation-native simulation with automatic conservation laws. Lambda-Modelica bridge for string diagram semantics. Fixed point clas...
☆ 5查看技能
GitHub
kinetic-block
Kinetic Block Skill
☆ 5查看技能
GitHub
critical-opalescence
Critical opalescence at phase transitions: diverging correlation length, light scattering, and the visual signature of criticality in fluids, proteins, and complex systems
☆ 5查看技能
GitHub
shadow-goblin
shadow-goblin
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。