python-stdlib

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

Bottom-up driver-based revenue forecasting: base × penetration × share × price, with structural residual alignment, A/B/C data grading, Monte Carlo + tornado sensitivity, and annual-report segment extraction. Pure Python stdlib.

Autonomous execution governance for coding agents: run a ticket backlog to completion unattended. ASK/PARK/HALT autonomy contract, durable per-ticket state machine, deterministic test gates, git-backed reversibility, heartbeat watchdog, morning report. Python stdlib only.

Zero-dependency HTTP 402 fetch replacement for autonomous AI agents. EIP-3009 gasless USDC on Base. Buyer, seller, and MCP server.

High-performance quantitative trading terminal and capital flow river for NSE cash equities. Pure Python 3.12+ standard library backend.

Single-file Python and HTML operations wall display for a 7-node Proxmox cluster. Zero dependencies, read-only by design, aggregating Prometheus, Kubernetes, SLURM, Pi-hole and firewall state into one always-on kiosk screen.

Watch auction mechanisms run, one algorithmic step at a time: first-price, second-price, all-pay, English, Dutch, GSP, VCG, combinatorial, plus budget pacing, learning bidders and equilibrium analysis. Python stdlib engine, dependency-free JS interface.

Expert Fleet - a stdlib-only, file-backed platform for 24/7 expert AI agents: frozen goal contracts, verified procedural learning (repeated gated work compiles into zero-model procedures), sealed capability packs, and a proof system where no status can be set by hand. 105 modules, 138 acceptance tests.

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

A tamper-evident security record for AI agents. A hook in Claude Code or Codex writes one hash-chained receipt per tool call; a line edited, removed or reordered later shows, and the command that switched the recorder off is itself the last line written. The recommended setup keeps a copy out of the agent's reach. Python 3.9+, stdlib only.

Process data analysis toolkit for lithium-battery & PV lines: inspection CSV/Excel in, shippable 8D report out. Zero 3rd-party deps, offline-ready. 新能源产线工艺数据分析：检测数据进，8D 报告出，零依赖、内网离线可用。

Lightweight local-first LLM agent infrastructure: SQLite memory, tasks, connectors, and chain automation

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

Free, open-source, unofficial guide and toolkit for the EVREN AI platform REST API: create NLP datasets, upload files resumably, verify and publish, with an OpenCode workflow.

GenPark AI Agent Skill - Post-processing confidence calibration using temperature scaling, expected calibration error (ECE), and Brier score evaluation.

Artifact-driven multi-agent orchestration for GitHub Copilot CLI. Pure Python stdlib, zero pip deps, zero binaries. 30 skills · 19 agents · 20 MCP tools.

Morningstar202604 · profile homepage — long-horizon projects, docs-first engineering (主页面 kit)

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

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.