MCP Tools DirectoryAbout this integration
Code synthesis through belief revision, mutation testing, and verification
- Transport
- stdio
- Authentication
- none
- Initial setup
- none
- Runtime
- unattended
- Evidence
- documented
- Version
- 2.5.1
- Package
- curate-ipsum
- Last compatibility test
- Not independently tested
Connect your agent
curate-ipsumQualification is based on the pinned publisher README and executable manifest. The package and any remote integration endpoint were not executed or independently security-audited; follow publisher safety guidance and grant only the permissions needed.
Capabilities: mutation testing, belief revision, program verification, code synthesis
Connected profiles
Additional details
io.github.egoughnour/curate-ipsum
Source ↗ · Checked 2026-09-172.5.1
Source ↗ · Checked 2026-09-17CC0-1.0; package licenses are separate
Source ↗ · Checked 2026-09-17pypi
Source ↗ · Checked 2026-09-17curate-ipsum
Source ↗ · Checked 2026-09-192.5.1
Source ↗ · Checked 2026-09-19The MCP client launches the documented local uvx or Docker process without an interactive runtime step.
Source ↗ · Checked 2026-09-19The baseline client configurations contain no credential; optional synthesis and external backends have separate configuration.
Source ↗ · Checked 2026-09-19Publisher documentation states that the tools are exposed over the MCP stdio transport.
Source ↗ · Checked 2026-09-19Publisher documentation reviewed; package and integration endpoint not executed or independently security-audited.
Source ↗ · Checked 2026-09-19