GitHub
bidirectional-lens-logic
Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence
☆ 5查看技能
文档写作 AI 技能
发现 文档写作 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 文档写作
文档写作 清除筛选
全部技能
GitHub
chaotic-attractor
Strange attractor with sensitive dependence on initial conditions
☆ 5查看技能
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5查看技能
GitHub
academic-research
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
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
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
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge
☆ 5查看技能
GitHub
kolmogorov-compression
Kolmogorov complexity as the ultimate intelligence measure. Shortest
☆ 5查看技能
GitHub
mcp-builder
Guide for creating high-quality MCP (Model Context Protocol) servers
☆ 5查看技能
GitHub
goblins
Distributed object capability system (6.5K lines info).
☆ 5查看技能
GitHub
saddle-node
Bifurcation creating/destroying equilibrium pair
☆ 5查看技能
GitHub
abductive-repl
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference
☆ 5查看技能
GitHub
keychain-secure
macOS Keychain credential management with GF(3) balanced operations
☆ 5查看技能
GitHub
tizen-cve-scanner
Scans for known Tizen CVEs in app dependencies and kernel. Checks OpenCVE database and Samsung security updates.
☆ 5查看技能
GitHub
fuzzing-dictionary
Building effective fuzzing dictionaries for improved fuzzer performance.
☆ 5查看技能
GitHub
ruler
Unified AI agent configuration propagation across 18+ coding assistants.
☆ 5查看技能
GitHub
mcp-tripartite
MCP tripartite integration for orchestrating distributed tool protocols
☆ 5查看技能
GitHub
solana-vulnerability-scanner
Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validation, missing signer/ownership checks, and sysvar spoofing. Use when auditing Solana/Anchor programs. (project, g...
☆ 5查看技能
GitHub
bmorphism-diagrams
bmorphism Diagrams
☆ 5查看技能
GitHub
bob
World BOB Skill
☆ 5查看技能
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
☆ 5查看技能
GitHub
l-space
L-Space Skill: The Library of All Libraries
☆ 5查看技能
GitHub
linearization
Local approximation of nonlinear dynamics
☆ 5查看技能
GitHub
ossfuzz
Integration with OSS-Fuzz for continuous fuzzing.
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。