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查看技能
工具与集成 AI 技能
发现 工具与集成 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 工具与集成
工具与集成 清除筛选
全部技能
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
yb-translator
Translate programming concepts to biological parallels using real ontology terms from EBI OLS.
☆ 5查看技能
GitHub
storage-reclaim
Rapidly find and reclaim disk storage by identifying build artifacts, git garbage, temp files, and other space hogs. Use when disk is full or running low on space.
☆ 5查看技能
GitHub
qa-regression
Automate QA regression testing with reusable test skills. Create login
☆ 5查看技能
GitHub
slack-gif-creator
Toolkit for creating animated GIFs optimized for Slack, with validators
☆ 5查看技能
GitHub
phase-space-transformation
Coordinate changes preserving dynamics
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。