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,...
Explorez les skills IA publiés de plurigrid et consultez leurs instructions source.
Skills indexés
639Étoiles des dépôts des skills indexés
3,235Forks du dépôt
1,917Moyenne des étoiles par skill indexé
5Les étoiles d’un dépôt peuvent se répéter entre ses skills.
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...
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.