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.5.1
Required dependencies:
imandrax-api-models
|
iml-query
|
pydantic
|
pyperclip
|
rich
|
tree-sitter
|
tree-sitter-iml
|
typer
Downloads last day:
7
Downloads last week:
25
Downloads last month:
315