pyrunir-mcp

MCP server exposing pyrunir tools for planning-and-learning agents.

Roles

Set PYRUNIR_MCP_ROLE before launching the server. The server and invoke CLI fail closed when the role is missing, so restricted agents must be launched with an explicit role:

  • kr/ps/base: sketch-policy proof, execution, and formatting tools.
  • kr/ps/ext: module-program proof, structural termination, execution, and formatting tools.
  • kr/uns: unsolvability classifier proof and formatting tools.
  • all: every pyrunir MCP tool; use only for trusted, unrestricted local maintenance.

The server rejects missing or unknown roles at startup.

Output format

Every artifact is rendered to .psv, .md, and .json by default. Set PYRUNIR_MCP_OUTPUT_FORMAT to write a single format instead, so a consumer reads exactly one file per artifact (no adjacent duplicate renderings):

  • psv / md / json: write only that format.
  • all (or unset): write every format (the default).

(The execute manifest.json and the per-failure failures/<id>/meta.json — machine-readable run/failure metadata — are always written regardless of this setting.)

Tool Documentation

Per-tool calling arguments and normalized output structures are documented in docs/index.md. The individual tool pages cover:

  • runir.ps.base.create_empty_policy, runir.ps.base.reformat_policy, runir.ps.base.execute_policy, and runir.ps.base.prove_policy
  • runir.ps.ext.create_empty_module_program, runir.ps.ext.reformat_module_program, runir.ps.ext.reformat_module, runir.ps.ext.execute_module_program, runir.ps.ext.prove_module_program, and runir.ps.ext.prove_termination
  • runir.uns.create_empty_classifier, runir.uns.reformat_classifier, and runir.uns.prove_classifier

Start with the index for shared result conventions, especially the distinction between counterexample witness files and path trace files.

Output Contract

Proof and execution tools write a local, grouped tree under the requested output_dir: run-global alias dictionaries under dicts/, and everything for one failure local to failures/<id>/ (its meta.json, witness, and — when available — trace and successors). If that directory already contains output, the tool allocates a numbered child directory such as run-002 instead of overwriting. The selected output directory contains a .pyrunir-mcp-output reservation marker. Results include primary orchestration fields, a structured summary, and items with absolute paths to each failure's witness file and, when available, its trace. See docs/index.md for the exact shared layout (including meta.json) and the per-tool pages for argument tables.

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (0.0.33)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for DominikDrexler from gravatar.com DominikDrexler

Credits

Author: Dominik Drexler

Requires

Python >=3.13

Provides Extra

dev

Report project as malware

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pyrunir_mcp-0.0.15.tar.gz (137.6 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

pyrunir_mcp-0.0.15-py3-none-any.whl (78.1 kB view details)

Uploaded Python 3

File details

Details for the file pyrunir_mcp-0.0.15.tar.gz.

File metadata

  • Download URL: pyrunir_mcp-0.0.15.tar.gz
  • Upload date:
  • Size: 137.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for pyrunir_mcp-0.0.15.tar.gz
Algorithm Hash digest
SHA256 043459b45c230bf6d2428443334522f1952fe3c38f67f5692d6d9848a167b9f2
MD5 96cae0cfb7bf87915f6e73309b3a169c
BLAKE2b-256 ef0135ce768f54ff09f56f08f77280fec2d7bb4fde3f8b57065490224fd5ae32

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrunir_mcp-0.0.15.tar.gz:

Publisher: release.yml on planning-and-learning/runir-mcp

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrunir_mcp-0.0.15-py3-none-any.whl.

File metadata

  • Download URL: pyrunir_mcp-0.0.15-py3-none-any.whl
  • Upload date:
  • Size: 78.1 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for pyrunir_mcp-0.0.15-py3-none-any.whl
Algorithm Hash digest
SHA256 9645d4f5d51f47c57b140702c2a0d785f75eb02ac25e2a915e5c82348f9437fa
MD5 dd5665cb6ea1b7c71bf0dddfe9108b1a
BLAKE2b-256 3c7ac643fca40b0ecbb03c70625c4fb67f2147ccd6b6a39e7ba5bcce7f82a706

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrunir_mcp-0.0.15-py3-none-any.whl:

Publisher: release.yml on planning-and-learning/runir-mcp

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page