ExtensityAI/symbolicai

Combines native Python syntax with semantic reasoning by introducing `Symbol` objects that transparently switch between syntactic (fast, local) and semantic (LLM-powered) evaluation modes via `.sem`/`.syn` projections. Implements Design by Contract using Pydantic-compatible data models with declarative validation, automatic remediation strategies, and retry logic to ensure LLM outputs meet constraints—replacing trial-and-error testing with upfront correctness guarantees.

1,677 stars and 2,722 monthly downloads. Used by 1 other package. Actively maintained with 36 commits in the last 30 days. Available on PyPI.