10 projects
cervellaswarm-lingua-universale
A verification language for AI agent protocols — session types, compiler, code generation, and formal verification
lu-mcp-server
MCP server for Lingua Universale protocol verification -- verify AI agent communication with session types
cervellaswarm-quality-gates
Quality gates for AI agent swarms: content scoring, hook validation, and agent sync
cervellaswarm-event-store
SQLite event database for AI agent session tracking and analytics
cervellaswarm-session-memory
Git-native, human-readable session memory for AI agents. Every decision is a commit, every state is Markdown.
cervellaswarm-spawn-workers
Config-driven worker spawning for multi-agent systems. tmux + nohup backends, signal handling, health checks.
cervellaswarm-task-orchestration
Deterministic task classification, routing, and validation for multi-agent systems. Zero LLM calls, file-based state, git-friendly audit trail.
cervellaswarm-agent-templates
Template agent definitions for Claude Code: coordinator, architect, quality-gate, and worker roles with team composition files.
cervellaswarm-agent-hooks
Ready-to-use hooks for Claude Code: bash validation, git reminders, file limits, context injection, and session checkpoints.
cervellaswarm-code-intelligence
AST-based code analysis toolkit: symbol extraction, dependency graphs, semantic search, impact analysis, and repository mapping.
