Need help with advanced AI agent engineering?Contact FirmAdapt

Scidonia Limited

Scidonia Limited

Organization

@scidonia

Scidonia Limited: Artificial Intelligence System Design

Ireland scidonia.ai @scidonia_ai On GitHub since March 2025

1

Published Tools

9

Total Stars

0

Weekly Downloads

7

GitHub Followers

38

Public Repos

Published Tools

1 MCP Serveracross 1 category

Rocq Piler

scidonia

MCP server for Coq LSP

MCP Serveruncategorised

91 dir