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 - Dynamically synthesizes and evaluates runtime assertions, pre/post-conditions, and state invariants to detect data corruption before crashes occur.

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

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

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

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.

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 - Post-processing confidence calibration using temperature scaling, expected calibration error (ECE), and Brier score evaluation.

GenPark AI Agent Skill - Gradient Episodic Memory (GEM / A-GEM) projection engine constraining parameter updates to prevent interference with past task gradients.

GenPark AI Agent Skill - Gale-Shapley deferred acceptance algorithm ensuring stable, envy-free, and Pareto-efficient bipartite matching between autonomous agents and task markets.

GenPark AI Agent Skill - Linear Temporal Logic (LTL) symbolic model checker verifying safety (G), liveness (F), and response (G(p -> Fq)) across finite state transition graphs.

GenPark AI Agent Skill - Infinite-horizon Rubinstein alternating-offers bargaining protocol determining Subgame Perfect Equilibrium (SPE) surplus shares under discounting.

GenPark AI Agent Skill - Hidden Markov Model (HMM) Viterbi dynamic programming decoder determining the most probable sequence of hidden states from noisy observation streams.