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,...
浏览 plurigrid 维护的已发布 AI 技能,比较用途与说明,并通过来源仓库了解安装方式。
已收录技能
639收录技能的仓库 Stars 合计
3,235仓库 Forks
1,917平均每个技能的仓库 Stars
5同一仓库中的多个技能可能共享 Stars,合计包含重复仓库数据。
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...
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。