{"data":{"name":"io.github.Noshadi-sec/irp","title":"IRP","description":"Turn a research paper into working code and prove, claim by claim, how close it gets.","version":"0.6.0","websiteUrl":"https://github.com/Noshadi-sec/irp","repositoryUrl":"https://github.com/Noshadi-sec/irp","remotes":[],"packages":[{"version":"0.6.0","identifier":"irp-agents","runtimeHint":"stdio","registryType":"pypi","runtimeArguments":null,"environmentVariables":null}],"status":"active","isLatest":true,"publishedAt":"2026-10-21T21:44:58.371Z","updatedAt":"2026-10-21T21:44:58.371Z","source":"official-registry","verification":"official","confidence":100,"stars":null,"sources":[{"stars":null,"title":"IRP","source":"official-registry","sourceId":"io.github.Noshadi-sec/irp","updatedAt":"2026-10-21T21:44:58.371Z","confidence":100,"websiteUrl":"https://github.com/Noshadi-sec/irp","description":"Turn a research paper into working code and prove, claim by claim, how close it gets.","verification":"official","repositoryUrl":"https://github.com/Noshadi-sec/irp"}],"toolIndex":{"tools":[],"endpoints":[],"authentication":"unknown"},"connectionConfigurations":{"status":"manual","authentication":"not embedded","clients":null,"instructions":[{"registryType":"pypi","identifier":"irp-agents","version":"0.6.0"}]},"resourceType":"mcp-server","callable":false,"runtime":{"callable":false,"protocols":["mcp"]},"interfaces":[{"protocol":"mcp","package":"irp-agents","registryType":"pypi","version":"0.6.0"}],"profile":{"apiVersion":"1","schemaVersion":"1","id":"mcp-server:io.github.Noshadi-sec%2Firp","resourceType":"mcp-server","canonicalUrl":"https://www.agentsjunction.com/api/v1/servers/io.github.Noshadi-sec%2Firp","name":"io.github.Noshadi-sec/irp","description":"Turn a research paper into working code and prove, claim by claim, how close it gets.","interfaces":[{"protocol":"mcp","package":"irp-agents","registryType":"pypi","version":"0.6.0"}],"capabilities":[],"identity":{"source":"official-registry","websiteUrl":"https://github.com/Noshadi-sec/irp","repositoryUrl":"https://github.com/Noshadi-sec/irp","version":"0.6.0"},"verification":{"state":"official","confidence":100},"operations":{"resourceType":"mcp-server","name":"io.github.Noshadi-sec/irp","status":"unknown","lastCheckedAt":null,"lastSuccessfulCheck":null,"latencyMs":null,"consecutiveFailures":0,"isStale":false,"checks":{"endpointReachable":null,"protocolValid":null,"agentCardValid":null,"mcpHandshakeValid":null},"lastSeen":null,"lastSuccessfulInteraction":null,"lastHealthCheck":null,"source":{"type":"health-check","url":null},"observedAt":null},"security":null,"timestamps":{"createdAt":"2026-10-21T21:44:58.371Z","updatedAt":"2026-10-21T21:44:58.371Z","observedAt":null},"compatibility":{"serverVersion":"0.6.0","protocolVersions":[{"protocol":"mcp","version":null}]}}}}