PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
agenticraft
agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination

830 1 2
rafapra3008
cervellaswarm-lingua-universale

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

525 7 1
rafapra3008
lu-mcp-server

MCP server for Lingua Universale protocol verification -- verify AI agent communication with session types

277 7 1
rafapra3008
cervellaswarm-agent-templates

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

119 7 1
rafapra3008
cervellaswarm-task-orchestration

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

98 7 1
rafapra3008
cervellaswarm-quality-gates

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

96 7 1
rafapra3008
cervellaswarm-spawn-workers

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

91 7 1
rafapra3008
cervellaswarm-agent-hooks

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

91 7 1
rafapra3008
cervellaswarm-event-store

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

90 7 1
rafapra3008
cervellaswarm-session-memory

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

90 7 1
rafapra3008
cervellaswarm-code-intelligence

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

89 7 1