LocalFree

IRP MCP server

Noshadi-sec/irp

Turn a research paper into working code and prove, claim by claim, how close it gets.

3 GitHub stars
Source code

Install IRP in Claude Code

Claude Code
claude mcp add irp -- uvx irp-agents
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "irp": {
      "command": "uvx",
      "args": [
        "irp-agents"
      ]
    }
  }
}

Frequently asked questions

What does the IRP MCP server do?

Turn a research paper into working code and prove, claim by claim, how close it gets.

Is the IRP MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does IRP run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add IRP to Claude Code?

Run: claude mcp add irp -- uvx irp-agents

More developer tools MCP servers

View all

Ksef pl

3

cmendezs/mcp-ksef-pl

Polish e-invoicing MCP: KSeF API v2, FA(3)/FA(2) XML, Peppol BIS 3.0, NIP/REGON validation.

LocalFree

HaloPSA

3

WYRE-AI/halopsa-mcp

MCP server for HaloPSA — clients, tickets, and PSA workflows via the HaloPSA REST API.

LocalAccount needed

LayerOne (DocX + Sign)

0100

GOLayerone/layerone-mcp

MCP server for LayerOne DocX (documents & Factur-X) and Sign (e-signature) APIs.

LocalAccount needed

German Newsfeed

3

Jakolo121/german-newsfeed-mcp

MCP server for the public news API of tagesschau.de, including regional news from ARD broadcasters

LocalFree

NexusWindows for Codex

34.8k

pironjulien/NexusWindows-Codex

Windows computer use in the background for Codex: UI Automation, Win32 messages, read back.

LocalFree

gen-system Understand

3521

hpdkhoa/gen-system

Parser facts about a codebase: architecture, call graphs, control flow, effects, beliefs

LocalFree