Curate Chicken Scheme hatchery eggs and papers on color logic and type theory.
npx skills add https://github.com/plurigrid/asi --skill hatchery-papers
Please help me install this Agent Skill. Skill: hatchery-papers Source: https://github.com/plurigrid/asi/tree/main/skills/hatchery-papers Command: npx skills add https://github.com/plurigrid/asi --skill hatchery-papers
This Skill provides a curated collection of Chicken Scheme hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory, helping researchers fast-track literature and tooling.
Review the listed SRFIs and papers to locate a starting point for your color logic exploration.
High-intent search queries and answers about installing and using this skill.
Colored operads are algebraic structures that generalize operads by incorporating color (type) information, fundamental to color logic frameworks. They enable formal reasoning about typed computational systems and are central to higher observational type theory research.
This Skill curates Chicken Scheme hatchery eggs including math, colors, cairo, and opengl libraries with code snippets illustrating generators and mathematical operations. Start with the SRFI references (SRFI-1, SRFI-4, SRFI-9, SRFI-18, SRFI-27, SRFI-69) to prototype color-operad workflows.
This Skill aggregates academic papers with metadata including title, authors, and arXiv links focused on color logic, 2TDX, colored operads, and higher observational type theory, enabling rapid literature discovery for tutorials and experimental projects.
Yes. This Skill catalogs relevant SRFIs and hatchery eggs specifically selected for color logic and operadic research, providing the foundational libraries and standards needed to build and test color-based type systems in Scheme.
Review the curated SRFI list and papers included here to identify your starting point, then reference the provided code examples and eggs to bootstrap your Scheme environment for color logic prototyping.
flonatSearch academic databases to find, verify, and organize research papers.
gabfssilvaGenerate PRISMA flowcharts and synthesis reports for systematic literature reviews.
plurigridImplement SplitMix64-based 3-coloring and CRDT sexp patterns for Geiser/Chicken REPL workflows.
RamanEbrahimiSearch the arXiv preprint repository and retrieve paper abstracts.
