PyPI page
Home page
Author:
denis, hongyu
Summary:
SpecLogician is an AI framework that turns code, tests, logs, and requirements into mathematical context for LLMs through formal specification synthesis, verification, and analysis.
Latest version:
1.1.3
Required dependencies:
imandrax-api-models
|
iml-query
|
pydantic
|
pyperclip
|
rich
|
textual
|
textual-image
|
textual-plotext
|
typer
Downloads last day:
0
Downloads last week:
22
Downloads last month:
80