Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

python-invar

DEPRECATED: Use invar-tools (CLI) or invar-runtime (contracts) instead

Ecosystem
pypi.org
Latest Release
1.0.0
3 months ago
Versions
15
Downloads
157 last month
invar-tools 1.18.1
AI-native software engineering tools with design-by-contract verification
59 versions - Latest release: 3 days ago - 1.46 thousand downloads last month - 2 stars on GitHub - 1 maintainer
invar-runtime 1.3.0
Lightweight runtime contracts for Invar projects
3 versions - Latest release: 2 months ago - 79 downloads last month - 2 stars on GitHub - 1 maintainer
Links
Registry pypi.org
Source Repository
Docs Documentation
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:pypi/python-invar
spec
License MIT
First Release 3 months ago
Last Synced 3 days ago
Keywords
contracts deprecated invar verification ai-agents ai-coding claude-code code-generation cursor design-by-contract formal-verification hypothesis llm mcp vibe-coding
Repository
Stars 2 on GitHub
Forks 1 on GitHub
repos.ecosyste.ms