token-integration-analyzer
Comprehensive token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implementations for ERC20/ERC721 conformity, checks for 20+ weird token patterns,...
Browse published AI skills maintained by plurigrid. Compare skill descriptions and follow each source repository for setup instructions.
Indexed skills
639Repository stars across indexed skills
3,235Repository forks
1,917Average repository stars per indexed skill
5Repository stars may repeat across skills from the same repository.
Comprehensive token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implementations for ERC20/ERC721 conformity, checks for 20+ weird token patterns,...
Manifold of points converging to equilibrium
Topological data analysis for stable feature verification across filtrations
Review security fixes and patches for completeness and correctness.
Unified Google Workspace management via WorkspaceACSet. Transforms operations into GF(3)-typed Interactions across Gmail, Drive, Calendar, Tasks, Docs with cross-skill morphisms and MCP↔API equivalence. Use for...
Maximally isolated Signal authentication via colored operad security boundaries. VM→Container→Process enclosure with GF(3) conservation for Agent-O-Rama pathways.
FloxHub publication `bmorphism/ies` - a focused development environment
The eternal text editor — Didactic Ersatz Emacs demonstrating immutable
Systems varying with external parameters
Security-focused code review of diffs and pull requests using Trail of Bits expertise.
Unified homoiconic graph rewriting - λ-calculus, interaction nets, ACSets, CUDA parallelism
Operad Composition Skill (PLUS +1)
Google's Wycheproof test vectors for cryptographic implementation testing.
SRFI Skill
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
Glass Bead Game + World Hopping via Observational Bridge Types. Navigate possibility space through ordered locale ≪ relations with Narya-verified transitions.
Homotopical approach to Artificial Life where 'life' is the topology of changes (diffs). Three orthogonal directions: Behavioral (→), Structural (↓), Bridge (↘) with Narya interaction-time verification.
Run CodeQL static analysis for security vulnerability detection, taint tracking, and data flow analysis. Use when asked to analyze code with CodeQL, create CodeQL databases, write custom QL queries, perform sec...
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
Playful mutual ingression meets Leonid Levin's algorithmic bounds. Use for: playful exploration with theoretical guarantees, mutual ingression with convergence proofs, emergent solutions within complexity bound...
Ergodic random walks over DuckLake lakehouses with GF(3) triadic concurrent walkers. Society-of-mind coordination for schema exploration.
Mathpix OCR for LaTeX extraction with balanced ternary checkpoints
Information Reflow Skill (ERGODIC 0)
Gmail inbox management via ANIMA condensation. Transforms messages into GF(3)-typed Interactions, routes to triadic queues, detects saturation for inbox-zero-as-condensed-state. Use for email triage, workflow a...
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.