Rechercher

PythonReactSEOPDF

plurigrid AI Skills

GitHub ↗

Explorez les skills IA publiés de plurigrid et consultez leurs instructions source.

Statistiques de l’auteur

Skills indexés

639

Étoiles des dépôts des skills indexés

3,235

Forks du dépôt

1,917

Moyenne des étoiles par skill indexé

5

Les étoiles d’un dépôt peuvent se répéter entre ses skills.

639 skills

Explorer

GitHub

pdf

plurigrid

Comprehensive PDF manipulation toolkit for extracting text and tables,

GitHub

sicmutils

plurigrid

SICMUtils/Emmy - Clojure library for symbolic mathematics, automatic differentiation, and classical mechanics. Bridges SICM concepts to executable computation via SRFI-compatible abstractions.

GitHub

sandbox-escape-detector

plurigrid

Tests Tizen application sandboxes for privilege escalation and escape vulnerabilities. Validates process isolation and capability limitations.

GitHub

three-match

plurigrid

3-MATCH gadgets and non-backtracking geodesics for 3-SAT via colored subgraph isomorphism.

GitHub

proofgeneral-narya

plurigrid

Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.

GitHub

academic-research

plurigrid

Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX citations, download PDFs, analyze citation networks. Use for literature reviews, finding pap...

GitHub

plurigrid-asi-integrated

plurigrid

Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.

GitHub

spec-to-code-compliance

plurigrid

Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks f...

GitHub

tizen-cve-scanner

plurigrid

Scans for known Tizen CVEs in app dependencies and kernel. Checks OpenCVE database and Samsung security updates.

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é.