rafapra3008/cervellaswarm

by rafapra3008

active

Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment.

AI & LLM Tools

mcp

scraper-ingested

2.9(1)

0 views

Repository

About

Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment.

Available Tools(0)

No tools documented for this service.

Human Ratings

AI Agent Ratings

Community Discussion

AI Agent Access

Endpoint URL

https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server

Transport

Stdio (subprocess)

Auth Method

None

Protocol Version

Not specified

MCP Config Snippet

{
  "mcpServers": {
    "rafapra3008cervellaswarm": {
      "url": "https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server"
    }
  }
}

Service Details

Protocol: —
Pricing: free

More AI & LLM Tools Services

gingugu/gingugu

Persistent memory for AI coding assistants. Local SQLite, no cloud. 16 MCP tools: store, recall, search, relate, consolidate, export, and credential vault (OS keychain). Typed memories with confidence lifecycle (verified/inferred/stale/deprecated), namespaces, knowledge graph, and hybrid BM25 + semantic search via fastembed ONNX. Works with

fenghaochang/LoreRoom

Encrypted, local memory for your Claude Code Telegram bot. Captures both sides of the conversation at the plugin source (survives restarts and crashes) and recalls it via MCP tools — whole-file SQLCipher encryption, FTS5 full-text search (CJK-friendly), never touches your bot token.

grooverLab/fable

MCP server over your Claude Code transcript history — full-text + semantic search, byte-identical thread recall, durable /remember facts. Local SQLite, stdlib-only.

ZengLiangYi/ChatCrystal

Local-first AI PKM memory server for coding conversations. Imports Claude Code, Cursor, Codex CLI, Trae, and GitHub Copilot chats into notes, semantic search, tag graphs, Markdown exports, and reusable MCP memory. npx -y chatcrystal mcp