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 - 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 - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.

GenPark AI Agent Skill - Pairwise Bradley-Terry and Elo rating tournament engine for ranking multi-agent strategies, prompt mutations, and generated tool solutions.

GenPark AI Agent Skill - Radix tree prefix caching simulator for prompt templates and agent system instructions, maximizing KV-cache hit rates and cutting TTFT latency.

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