PyRank

Protocol Verification Python Packages

Python packages with the GitHub topic protocol-verification. Sorted by relevance, with stars and monthly downloads.
rafapra3008
cervellaswarm-lingua-universale

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

960 9 2
rafapra3008
lu-mcp-server

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

511 9 2
rafapra3008
cervellaswarm-quality-gates

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

232 9 2
rafapra3008
cervellaswarm-task-orchestration

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

209 9 2
rafapra3008
cervellaswarm-agent-templates

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

204 9 2
rafapra3008
cervellaswarm-event-store

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

199 9 2
rafapra3008
cervellaswarm-agent-hooks

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

180 9 2
rafapra3008
cervellaswarm-spawn-workers

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

179 9 2
rafapra3008
cervellaswarm-session-memory

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

173 9 2
rafapra3008
cervellaswarm-code-intelligence

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

168 9 2