Llm Reasoning Python Packages

pydantic-ai-todo

Task Planning and Tracking toolset for Pydantic AI agents, enabling hierarchical task management with subtasks, PostgreSQL storage for multi-tenancy, and an event system for webhooks and callbacks.

proofofthought

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

areal

The RL Bridge for LLM-based Agent Applications. Made Simple & Flexible.

deepmcpagent

The foundation layer for agentic intelligence.

promptise

Promptise Foundry - Production-ready agentic framework for building advanced AI agent systems and multi-agent orchestration