编程开发 AI 技能

发现编程开发相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。

分类目录: 编程开发

GitHub

sicmutils

plurigrid

SICMUtils/Emmy - Clojure library for symbolic mathematics, automatic differentiation, and classical mechanics. Bridges SICM concepts to executable computation via SRFI-compatible abstractions.

☆ 5查看技能

GitHub

sandbox-escape-detector

plurigrid

Tests Tizen application sandboxes for privilege escalation and escape vulnerabilities. Validates process isolation and capability limitations.

☆ 5查看技能

GitHub

asi-agent-orama

plurigrid

ASI Agent-O-Rama Skill

☆ 5查看技能

GitHub

slime-lisp

plurigrid

SLIME integration for Common Lisp development

☆ 5查看技能

GitHub

triad-interleave

plurigrid

Interleave three deterministic color streams into balanced schedules

☆ 5查看技能

GitHub

rick-roderick

plurigrid

Rick Roderick: Philosophy Under Siege

☆ 5查看技能

GitHub

three-match

plurigrid

3-MATCH gadgets and non-backtracking geodesics for 3-SAT via colored subgraph isomorphism.

☆ 5查看技能

GitHub

rust

plurigrid

Rust ecosystem = cargo + rustc + clippy + rustfmt.

☆ 5查看技能

GitHub

bidirectional-lens-logic

plurigrid

Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence

☆ 5查看技能

GitHub

chaotic-attractor

plurigrid

Strange attractor with sensitive dependence on initial conditions

☆ 5查看技能

GitHub

proofgeneral-narya

plurigrid

Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.

☆ 5查看技能

GitHub

Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX citations, download PDFs, analyze citation networks. Use for literature reviews, finding pap...

☆ 5查看技能

GitHub

plurigrid-asi-integrated

plurigrid

Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.

☆ 5查看技能

GitHub

spec-to-code-compliance

plurigrid

Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks f...

☆ 5查看技能

GitHub