All authors

Claude Skills by plurigrid
github.com/plurigrid2,535 skills6 installs3,507 views
- Compression ProgressSchmidhuber's compression progress as intrinsic curiosity reward for learning systems.Votes: 0GitHub stars: 61
- Covariant FibrationsRiehl-Shulman covariant fibrations for dependent types over directed intervals in synthetic ∞-categories.Votes: 0GitHub stars: 61
- Crn TopologyChemical Reaction Network topology for generating and analyzing reaction graph structures.Votes: 0GitHub stars: 61
- Discohy StreamsDisCoPy categorical color streams via Hy with 3 parallel TAP streamsVotes: 0GitHub stars: 61
- Duckdb Temporal VersioningTemporal versioning and interaction history with time-travel queries, causality tracking, and deterministic replayVotes: 0GitHub stars: 61
- Elements Infinity CatsElements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical constructions and model-independence.Votes: 0GitHub stars: 61
- Gay McpGay.jl MCP server integration for deterministic color generation via SplitMix64Votes: 0GitHub stars: 61
- Localsend McpLocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.Votes: 0GitHub stars: 61
- Mcp TripartiteSKILL: MCP Tripartite IntegrationVotes: 0GitHub stars: 61
- Reafference Corollary DischargeSkill: Reafference & Corollary Discharge (von Holst Neuroscience)Votes: 0GitHub stars: 61
- Synthetic AdjunctionsSynthetic adjunctions in directed type theory for ∞-categorical universal constructions.Votes: 0GitHub stars: 61
- System2 AttentionSystem 2 attention mechanisms for deliberate, slow reasoning in transformer architectures.Votes: 0GitHub stars: 61
- Turing ChemputerCronin's Turing-complete chemputer for programmable chemical synthesis via XDL.Votes: 0GitHub stars: 61
- Borkdude**Status**: ✅ Production Ready **Trit**: 0 (ERGODIC - runtime neutral) **Principle**: Right tool for context **Author**: Michiel Borkent (@borkdude) ---Votes: 0GitHub stars: 61
- Gay Mcp**Status**: ✅ Production Ready **Trit**: +1 (PLUS - optimistic/generative) **Principle**: Same seed → Same colors (SPI guarantee) **Implementation**: Gay.jl (Julia) + SplitMixTernary (Ruby) ---Votes: 0GitHub stars: 61
- Three Match**Status**: ✅ Production Ready **Trit**: -1 (MINUS - conservative/geodesic) **Principle**: Local constraints → Global correctness **Frame**: Non-backtracking geodesics with Möbius filtering ---Votes: 0GitHub stars: 61
- Unworld**Status**: ✅ Production Ready **Trit**: 0 (ERGODIC - derivational, not temporal) **Principle**: seed_{n+1} = f(seed_n, color_n) **Frame**: No external clock, only internal derivation ---Votes: 0GitHub stars: 61
- Music Topos**Status**: ✅ Working Prototype **Integration**: aiskills / ruler / plurigrid-asi **Principle**: Deterministic Agreement Under Adversity ---Votes: 0GitHub stars: 61
- Music Topos**Version**: 0.2.0 **Status**: Phase 2 Self-Hosting Complete ✅ **Language**: Clojure (coordinator) + Scheme/Clojure/CL (targets) **License**: MIT ---Votes: 0GitHub stars: 61
- Lib**Date**: 2025-12-22 **Status**: IMPLEMENTED + CLI **Purpose**: Apply relational thinking (ACSets) to Amp thread analysis using HyJAXVotes: 0GitHub stars: 61
- SkillP2P file transfer with mutual discovery, voice announcements, and redundant connection methodsVotes: 0GitHub stars: 61
- Aptos Orderless WevAptos Orderless WEV SkillVotes: 0GitHub stars: 61
- Boneh Roughgarden WevBoneh-Roughgarden WEV SkillVotes: 0GitHub stars: 61
- IntegratedUnified ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.Votes: 0GitHub stars: 61
- Abductive ReplHypothesis-Test Loops via REPL for Exploratory Abductive InferenceVotes: 0GitHub stars: 61
- Accept No SubstitutesThis skill should be used when agents generate placeholder tokens like "pseudo-", "mock-", "temporary", "TODO", "demo-", or similar incompleteness markers. Detects substitution patterns in agent OUTPUT and triggers mandatory user interview instead of accepting incomplete work. Activates automatically on any output containing forbidden tokens.Votes: 0GitHub stars: 61
- Acquiring Disk Image With Dd And DcflddCreate forensically sound bit-for-bit disk images using dd and dcfldd while preserving evidence integrity through hash verification.Votes: 0GitHub stars: 61
- Acsets HatcheryAttributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.Votes: 0GitHub stars: 61
- Acsets Relational ThinkingACSets (Attributed C-Sets) for categorical database design and DPO rewritingVotes: 0GitHub stars: 61
- AcsetsACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectionalVotes: 0GitHub stars: 61
- Active Inference RoboticsSecond-order skill synthesizing Patrick Kenny's discrete active inference framework with K-Scale's JAX/MuJoCo robotics stack for predictive coding in robot locomotionVotes: 0GitHub stars: 61
- Active InterleaveActive Interleave SkillVotes: 0GitHub stars: 61
- Address SanitizerUse AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.Votes: 0GitHub stars: 61
- AflppFuzzing with AFL++ for comprehensive binary and source code fuzzing.Votes: 0GitHub stars: 61
- Agent O RamaLayer 4: Learning and Pattern Extraction for Cognitive Surrogate SystemsVotes: 0GitHub stars: 61
- Algorand Vulnerability ScannerScans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TEAL/PyTeal). (project, gitignored)Votes: 0GitHub stars: 61
- Algorithmic ArtCreating algorithmic art using p5.js with seeded randomness and interactiveVotes: 0GitHub stars: 61
- Amp SkillInterruption pattern detection and retrieval from Amp thread history. Use for analyzing tool rejection patterns and improving agent behavior.Votes: 0GitHub stars: 61
- Amp Team UsageAmp Team UsageVotes: 0GitHub stars: 61
- Analyzing Active Directory Acl AbuseDetect dangerous ACL misconfigurations in Active Directory using ldap3 to identify GenericAll, WriteDACL, and WriteOwner abuse pathsVotes: 0GitHub stars: 61
- Analyzing Android Malware With ApktoolPerform static analysis of Android APK malware samples using apktool for decompilation, jadx for Java source recovery, and androguard for permission analysis, manifest inspection, and suspicious API call detection.Votes: 0GitHub stars: 61
- Analyzing Api Gateway Access LogsParses API Gateway access logs (AWS API Gateway, Kong, Nginx) to detect BOLA/IDOR attacks, rate limit bypass, credential scanning, and injection attempts. Uses pandas for statistical analysis of request patterns and anomaly detection. Use when investigating API abuse or building API-specific threat detection rules.Votes: 0GitHub stars: 61
- Analyzing Apt Group With Mitre NavigatorAnalyze advanced persistent threat (APT) group techniques using MITRE ATT&CK Navigator to create layered heatmaps of adversary TTPs for detection gap analysis and threat-informed defense.Votes: 0GitHub stars: 61
- Analyzing Azure Activity Logs For ThreatsQueries Azure Monitor activity logs and sign-in logs via azure-monitor-query to detect suspicious administrative operations, impossible travel, privilege escalation, and resource modifications. Builds KQL queries for threat hunting in Azure environments. Use when investigating suspicious Azure tenant activity or building cloud SIEM detections.Votes: 0GitHub stars: 61
- Analyzing Bootkit And Rootkit SamplesAnalyzes bootkit and advanced rootkit malware that infects the Master Boot Record (MBR), Volume Boot Record (VBR), or UEFI firmware to gain persistence below the operating system. Covers boot sector analysis, UEFI module inspection, and anti-rootkit detection techniques. Activates for requests involving bootkit analysis, MBR malware investigation, UEFI persistence analysis, or pre-OS malware detection.Votes: 0GitHub stars: 61
- Analyzing Browser Forensics With HindsightAnalyze Chromium-based browser artifacts using Hindsight to extract browsing history, downloads, cookies, cached content, autofill data, saved passwords, and browser extensions from Chrome, Edge, Brave, and Opera for forensic investigation.Votes: 0GitHub stars: 61
- Analyzing Campaign Attribution EvidenceCampaign attribution analysis involves systematically evaluating evidence to determine which threat actor or group is responsible for a cyber operation. This skill covers collecting and weighting attrVotes: 0GitHub stars: 61
- Analyzing Certificate Transparency For PhishingMonitor Certificate Transparency logs using crt.sh and Certstream to detect phishing domains, lookalike certificates, and unauthorized certificate issuance targeting your organization.Votes: 0GitHub stars: 61
- Analyzing Cloud Storage Access PatternsDetect abnormal access patterns in AWS S3, GCS, and Azure Blob Storage by analyzing CloudTrail Data Events, GCS audit logs, and Azure Storage Analytics. Identifies after-hours bulk downloads, access from new IP addresses, unusual API calls (GetObject spikes), and potential data exfiltration using statistical baselines and time-series anomaly detection.Votes: 0GitHub stars: 61
- Analyzing Cobalt Strike Beacon ConfigurationExtract and analyze Cobalt Strike beacon configuration from PE files and memory dumps to identify C2 infrastructure, malleable profiles, and operator tradecraft.Votes: 0GitHub stars: 61