Metadata-Version: 2.4
Name: sciona
Version: 0.1.1
Summary: Functional Matching Agent for grounding predicates into verified library functions in Lean 4/Mathlib and Coq/Rocq
License-Expression: MIT
Requires-Python: >=3.10
Requires-Dist: msgpack>=1.0
Requires-Dist: numpy>=1.24.0
Requires-Dist: pydantic-settings>=2.0
Requires-Dist: pydantic>=2.0
Provides-Extra: all
Requires-Dist: ageoa>=0.1.0; extra == 'all'
Requires-Dist: anthropic>=0.40.0; extra == 'all'
Requires-Dist: coqpyt>=0.1.0; extra == 'all'
Requires-Dist: docstring-parser>=0.15; extra == 'all'
Requires-Dist: faiss-cpu>=1.7.4; extra == 'all'
Requires-Dist: fastembed>=0.3.6; extra == 'all'
Requires-Dist: icontract>=2.6; extra == 'all'
Requires-Dist: langgraph-checkpoint-postgres>=2.0.0; extra == 'all'
Requires-Dist: langgraph>=0.4.0; extra == 'all'
Requires-Dist: lean-explore[local]>=0.4.0; extra == 'all'
Requires-Dist: lean-interact>=0.9.0; extra == 'all'
Requires-Dist: mypy>=1.0; extra == 'all'
Requires-Dist: neo4j>=5.0; extra == 'all'
Requires-Dist: openai>=1.0.0; extra == 'all'
Requires-Dist: psycopg-pool>=3.1.0; extra == 'all'
Requires-Dist: psycopg[binary]>=3.1.0; extra == 'all'
Requires-Dist: pydantic-graph>=0.1.0; extra == 'all'
Requires-Dist: pytest-asyncio>=0.21; extra == 'all'
Requires-Dist: pytest>=7.0; extra == 'all'
Requires-Dist: pyyaml>=6.0; extra == 'all'
Requires-Dist: torch>=2.0.0; extra == 'all'
Requires-Dist: transformers>=4.35.0; extra == 'all'
Provides-Extra: api
Requires-Dist: asyncpg>=0.29; extra == 'api'
Requires-Dist: boto3>=1.34; extra == 'api'
Requires-Dist: fastapi>=0.115; extra == 'api'
Requires-Dist: httpx>=0.27; extra == 'api'
Requires-Dist: pyjwt[crypto]>=2.8; extra == 'api'
Requires-Dist: stripe>=7.0; extra == 'api'
Requires-Dist: uvicorn[standard]>=0.30; extra == 'api'
Provides-Extra: architect
Requires-Dist: langgraph-checkpoint-postgres>=2.0.0; extra == 'architect'
Requires-Dist: langgraph>=0.4.0; extra == 'architect'
Requires-Dist: psycopg-pool>=3.1.0; extra == 'architect'
Requires-Dist: psycopg[binary]>=3.1.0; extra == 'architect'
Requires-Dist: pyyaml>=6.0; extra == 'architect'
Provides-Extra: coq
Requires-Dist: coqpyt>=0.1.0; extra == 'coq'
Provides-Extra: dev
Requires-Dist: mypy>=1.0; extra == 'dev'
Requires-Dist: pytest-asyncio>=0.21; extra == 'dev'
Requires-Dist: pytest>=7.0; extra == 'dev'
Provides-Extra: ghost
Requires-Dist: ageoa>=0.1.0; extra == 'ghost'
Provides-Extra: graph
Requires-Dist: neo4j>=5.0; extra == 'graph'
Provides-Extra: hunter
Requires-Dist: anthropic>=0.40.0; extra == 'hunter'
Requires-Dist: openai>=1.0.0; extra == 'hunter'
Requires-Dist: pydantic-graph>=0.1.0; extra == 'hunter'
Provides-Extra: indexer
Requires-Dist: faiss-cpu>=1.7.4; extra == 'indexer'
Requires-Dist: fastembed>=0.3.6; extra == 'indexer'
Requires-Dist: torch>=2.0.0; extra == 'indexer'
Requires-Dist: transformers>=4.35.0; extra == 'indexer'
Provides-Extra: lean
Requires-Dist: lean-explore[local]>=0.4.0; extra == 'lean'
Requires-Dist: lean-interact>=0.9.0; extra == 'lean'
Provides-Extra: python-target
Requires-Dist: docstring-parser>=0.15; extra == 'python-target'
Requires-Dist: icontract>=2.6; extra == 'python-target'
Requires-Dist: mypy>=1.0; extra == 'python-target'
Provides-Extra: synthesizer
Requires-Dist: anthropic>=0.40.0; extra == 'synthesizer'
Requires-Dist: openai>=1.0.0; extra == 'synthesizer'
Requires-Dist: pydantic-graph>=0.1.0; extra == 'synthesizer'
Provides-Extra: visualizer
Requires-Dist: fastapi>=0.115; extra == 'visualizer'
Requires-Dist: neo4j>=5.0; extra == 'visualizer'
Requires-Dist: uvicorn[standard]>=0.30; extra == 'visualizer'
