python-stdlib

A comprehensive Python learning repository!Easy reading of learning documents:

GenPark AI Agent Skill - Belief revision logic engine (AGM postulates) detecting factual and logical contradictions, pruning obsolete beliefs, and preserving consistent world states.

GenPark AI Agent Skill - Bimatrix normal-form game solver identifying pure Nash equilibria and calculating 2x2 mixed-strategy Nash equilibria.

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

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 - Resolves and fuses fragmented entity mentions into unified canonical nodes using Jaro-Winkler string similarity and connected component clustering.

GenPark AI Agent Skill - Anti-entropy gossip protocol and epidemic rumor-spreading state synchronizer propagating shared knowledge across dynamic agent swarms.

GenPark AI Agent Skill - Elastic Weight Consolidation (EWC) engine calculating Fisher Information Matrix diagonal penalties to prevent catastrophic forgetting during sequential task learning.

GenPark AI Agent Skill - Exact probabilistic inference engine for discrete Bayesian networks computing posterior marginals via factor product and variable elimination.

GenPark AI Agent Skill - Pure Python parser converting Planning Domain Definition Language (PDDL 2.1) domains, action schemas, and problem goals into structured JSON AST objects.

GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating postconditions through assignment statements and branch conditions.

GenPark AI Agent Skill - Graph-theoretic backdoor criterion validator and minimal confounder adjustment set identifier ensuring unconfounded causal effect estimation.

GenPark AI Agent Skill - Computes Personalized PageRank (PPR) over agent memory graphs for context-sensitive entity relevance and associative recall.

GenPark AI Agent Skill - Dynamically synthesizes and evaluates runtime assertions, pre/post-conditions, and state invariants to detect data corruption before crashes occur.

GenPark AI Agent Skill - Loop invariant inductiveness and total correctness prover verifying initialization, preservation, and postcondition implication.

GenPark AI Agent Skill - Presburger linear integer arithmetic decision procedure solving systems of linear inequalities for agent safety guard synthesis.

GenPark AI Agent Skill - Distribution-free conformal prediction sets with rigorous marginal coverage guarantees, calibrated non-conformity scores, and split conformal inference.

GenPark AI Agent Skill - Anti-entropy gossip protocol and epidemic rumor-spreading state synchronizer propagating shared knowledge across dynamic agent swarms.

GenPark AI Agent Skill - Dynamic mock object synthesizer and behavioral fuzzer generating contract-conforming test doubles for agent tool sandboxing.

GenPark AI Agent Skill - Dynamic AST transformer rewriting Python abstract syntax trees to inject telemetry probes, execution timers, and call graph interceptors.