genpark-skill

Autonomous Agent Earley Context-Free Grammar Chart Parser with Arbitrary Ambiguity & Recursion

GenPark AI Agent Skill - DPLL (Davis-Putnam-Logemann-Loveland) Boolean satisfiability solver with unit clause propagation and pure literal elimination for agent policy verification.

GenPark AI Agent Skill - DPLL (Davis-Putnam-Logemann-Loveland) Boolean satisfiability solver with unit clause propagation and pure literal elimination for agent policy verification.

GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.

Autonomous Agent Earley Context-Free Grammar Chart Parser with Arbitrary Ambiguity & Recursion

Autonomous Agent CYK (Cocke-Younger-Kasami) Probabilistic Context-Free Grammar (PCFG) Parser

Autonomous Agent Multi-Armed Bandit UCB1 & Thompson Sampling Exploration-Exploitation Optimizer

GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.

Autonomous Agent Short-Time Fourier Transform (STFT) Time-Frequency Spectrogram Engine with Windowing

Autonomous Agent Epidemic Anti-Entropy Gossip Dissemination & Peer State Synchronization Engine

Autonomous Agent Branch and Bound Mixed-Integer Linear Programming (MILP) Solver with LP Relaxation Pruning

Autonomous Agent Content-Addressable Network (CAN) Multi-Dimensional Torus Coordinate Routing Engine

GenPark AI Agent Skill - Mixture-of-Agents (MoA) multi-layer aggregator synthesizing diverse candidate proposals from heterogeneous sub-agents into high-consensus outputs.

GenPark AI Agent Skill - Simple Temporal Network (STN) constraint solver checking temporal consistency, calculating earliest/latest event bounds, and propagating deadlines via Floyd-Warshall.

Autonomous Agent Michael-Scott Lock-Free Concurrent FIFO Queue with Two-Pointer Linearization

Autonomous Agent Sutherland-Hodgman Polygon Clipping Engine for Viewport & Spatial Boundary Truncation

Autonomous Agent Sutherland-Hodgman Polygon Clipping Engine for Viewport & Spatial Boundary Truncation

Bennett-Brassard 1984 (BB84) Quantum Key Distribution protocol simulator featuring conjugate basis encoding, sifting, and quantum eavesdropping detection.

Autonomous Agent Content-Addressable Network (CAN) Multi-Dimensional Torus Coordinate Routing Engine

Autonomous Agent Distributed Breakout Algorithm (DBA) for Distributed Constraint Satisfaction (DisCSP)