npmjs.org "session-types" keyword
@cervellaswarm/core 1.0.0-alpha.2 💰
Core utilities for CervellaSwarm - shared between CLI and MCP Server1 version - Latest release: 9 months ago - 40 downloads last month - 12 stars on GitHub - 1 maintainer
cervellaswarm 0.1.2 💰
17 AI agents working as a team for your project. Not an assistant - a TEAM.4 versions - Latest release: 9 months ago - 29 downloads last month - 12 stars on GitHub - 1 maintainer
@cervellaswarm/mcp-server 0.2.3 💰
17 AI agents with quality guardians - the only team that checks its own work9 versions - Latest release: 9 months ago - 53 downloads last month - 12 stars on GitHub - 1 maintainer
agentic-lang 0.2.0
The world's first AI-native programming language with verified confidence, formal verification, a...1 version - Latest release: 9 months ago - 154 downloads last month - 0 stars on GitHub - 1 maintainer
atscntrb-hx-mysession-2 1.0.1
This package is for experimenting with session types3 versions - Latest release: over 9 years ago - 2 dependent packages - 1 dependent repositories - 29 downloads last month - 392 stars on GitHub - 1 maintainer
atscntrb-hx-mysession-g 1.0.2
This package is for experimenting with MP session types4 versions - Latest release: over 9 years ago - 2 dependent packages - 1 dependent repositories - 35 downloads last month - 392 stars on GitHub - 1 maintainer
session-typed-worker 1.0.3
A deadlock-free communication API for web workers based on (a subset of) session types.4 versions - Latest release: almost 8 years ago - 1 dependent repositories - 15 downloads last month - 5 stars on GitHub - 1 maintainer
Related Keywords
ai-agents
4
formal-verification
4
programming-language
4
claude
3
protocol-verification
3
mcp
3
ATS
2
session
2
cervellaswarm
2
ai
2
agents
2
anthropic
2
multi-agent
2
model-context-protocol
1
coding
1
assistant
1
team
1
development
1
multiparty
1
cli
1
webworker
1
npm-package
1
deadlock
1
typescript
1
worker
1
verified-code
1
transpiler
1
typescript-compiler
1
autonomous-agents
1
llm
1
effect-system
1
z3-solver
1
mutation-testing
1
property-based-testing
1
confidence-tracking
1
ai-native
1