297 件（plurigrid のリポジトリ） ・ 人気順
概要と使いどころ
CatColab Ologs (Ontology Logs) - category-theoretic knowledge representation where objects are concepts and morphisms are functional relationships. Foundation for database schemas and conceptual modeling.
日本語の概要は準備中です。原文の説明を表示しています。
CatColab Petri Nets - concurrent system modeling via places (states), transitions (events), and token flow. Foundation for process algebra, workflow, and chemical reaction networks.
日本語の概要は準備中です。原文の説明を表示しています。
Time average of observable along trajectory
日本語の概要は準備中です。原文の説明を表示しています。
World B Skill
日本語の概要は準備中です。原文の説明を表示しています。
Suite of tools for creating elaborate, multi-component claude.ai HTML artifacts using modern frontend web technologies (React, Tailwind CSS, shadcn/ui). Use for complex artifacts requiring state management, routing, or shadcn/ui components - not for simple single-file HTML/JSX artifacts.
日本語の概要は準備中です。原文の説明を表示しています。
ASI Agent-O-Rama Skill
日本語の概要は準備中です。原文の説明を表示しています。
ASI skill integrating polynomial functors, free monad/cofree comonad module action, operadic decomposition, and open games for compositional intelligence.
日本語の概要は準備中です。原文の説明を表示しています。
Org-agenda-like transient views for ASI skill orchestration via nbb/squint + Emacs hydra
日本語の概要は準備中です。原文の説明を表示しています。
Lee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.
日本語の概要は準備中です。原文の説明を表示しています。
Python fuzzing with Atheris for discovering vulnerabilities in Python code.
日本語の概要は準備中です。原文の説明を表示しています。
Layer 1 - Data Acquisition for Bluesky/AT Protocol social graph and content.
日本語の概要は準備中です。原文の説明を表示しています。
Invariant set attracting nearby trajectories
日本語の概要は準備中です。原文の説明を表示しています。
Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.
日本語の概要は準備中です。原文の説明を表示しています。
Prepare your codebase for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, ensures accessibility, and generates comprehensive documentation (flowcharts, user stories, inline comments). (project, gitignored)
日本語の概要は準備中です。原文の説明を表示しています。
Purpose: Standardize how stakpak designs and optimizes AWS architectures. Scope: Greenfield: design new infrastructure. Brownfield: analyze existing architectures and propose improvements.
日本語の概要は準備中です。原文の説明を表示しています。
AWS SSO discovery, configuration, and terminal usage
日本語の概要は準備中です。原文の説明を表示しています。
Interact with Axiom.trade -- a Y Combinator-backed (W25) DEX aggregator and trading platform on Solana with Hyperliquid perpetuals integration. Covers API architecture, multi-wallet management, MEV protection, token discovery, and wallet tracking.
日本語の概要は準備中です。原文の説明を表示しています。
Gay MCP skill at invocation 2
日本語の概要は準備中です。原文の説明を表示しています。
Clojure scripting without JVM startup.
日本語の概要は準備中です。原文の説明を表示しています。
Backend API design, database architecture, microservices patterns, and test-driven development. Use for designing APIs, database schemas, or backend system architecture.
日本語の概要は準備中です。原文の説明を表示しています。
🐟 Rust-native Fish shell-friendly file operations with Steel-backed SCI Clojure evaluation.
日本語の概要は準備中です。原文の説明を表示しています。
Measure encoding/decoding throughput across Syrup implementations. This skill provides bandwidth benchmarks for comparing serialization performance.
日本語の概要は準備中です。原文の説明を表示しています。
Brain-Computer Interface with colored operad security boundaries. Maximally isolated EEG/neural data processing via VM→Container→Process enclosure with GF(3) conservation for Agent-O-Rama neural pathways.
日本語の概要は準備中です。原文の説明を表示しています。
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.
日本語の概要は準備中です。原文の説明を表示しています。