{"name":"Conseqa","url":"https://docs.conseqa.umran.ca/","version":"1.0.0","protocolVersion":"0.3","preferredTransport":"HTTP+JSON","supportedInterfaces":[{"url":"https://docs.conseqa.umran.ca/","protocolBinding":"HTTP+JSON","protocolVersion":"0.3"}],"provider":{"url":"https://docs.conseqa.umran.ca/","organization":"Conseqa"},"documentationUrl":"https://docs.conseqa.umran.ca/","capabilities":{"streaming":false,"pushNotifications":false},"defaultInputModes":["text/plain"],"defaultOutputModes":["text/plain"],"skills":[{"id":"archspec","name":"Archspec","description":"Use when modeling distributed microservice architectures, verifying correctness properties (idempotency, serialization, ordering, recoverability), analyzing transactional outbox patterns, or proving that operations are safe under retry and concurrent execution. Reach for this skill when building formal proofs for distributed systems or reviewing architecture models for correctness gaps.","tags":[],"url":"https://docs.conseqa.umran.ca/.well-known/agent-skills/archspec/skill.md"}]}