PyPI page
Home page
Author:
SymKit Team
License:
Apache-2.0
Summary:
SymKit MCP - Symbolic derivation and verification toolkit for AI agents via MCP.
Latest version:
1.13.0
Required dependencies:
antlr4-python3-runtime
|
httpx
|
mcp
|
platformdirs
|
pydantic
|
pyyaml
|
sympy
Optional dependencies:
mypy
|
pytest
|
pytest-asyncio
|
pytest-cov
|
ruff
Downloads last day:
2
Downloads last week:
36
Downloads last month:
2,054
7-day smoothing