Last released May 20, 2026
A lightweight Chain of Thought reasoning tool for LLM function calling
Last released Nov 16, 2025
A Python library for formal reasoning methods with LLM integration
Supported by
