{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.tuProlog/arg2p","description":"Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results","title":"Arg2P","repository":{"url":"https://github.com/tuProlog/arg2p-kt","source":"github"},"version":"0.21.0","websiteUrl":"https://tuprolog.github.io/arg2p-kt/","packages":[{"registryType":"pypi","identifier":"arg2p","version":"0.21.0","runtimeHint":"uvx","transport":{"type":"stdio"},"packageArguments":[{"type":"positional","value":"mcp"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-29T02:30:04.787201Z","publishedAt":"2026-10-29T02:30:04.787201Z","updatedAt":"2026-10-29T02:30:04.787201Z","isLatest":true}}}