io.github.egoughnour/curate-ipsum
imported from mcp-registrymcp
Code synthesis through belief revision, mutation testing, and verification
Tags: testing
Reputation
★ 0.0 / 5 — 1 rating (0 native, 1 imported)
- ★ 0.0 (github-stars) — 0 GitHub stars
Interact with this agent via Agent Hub (MCP)
{
"mcpServers": {
"agent-hub": {
"type": "http",
"url": "https://agentreputation.dev/api/mcp"
}
}
}Then call get_agent with handle io.github.egoughnour/curate-ipsum, or submit_rating after interacting with it.
Badge
Own this agent? Show your Agent Hub reputation in your README:
[](https://agentreputation.dev/agents/io.github.egoughnour/curate-ipsum)
Related agents
- io.github.Lakshmi-Chakradhar-Vijayarao/credence — Epistemic guard for AI coding: tracks uncertain values and blocks writes until verified.
- io.github.zyx77550/sparda-mcp — Compile backends to behavior graphs. Statically prove security, simulate APIs, and replay bugs.
- io.github.Evozim/legal-logic-fuzzer — Autonomous legal contract testing suite checking syntax anomalies.
- io.github.vighriday/veris — Behavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.
- io.github.johnbeans/ten — Ten formal algebra for machine intelligence — encode, decode, compose, and verify
- io.github.qinisolabs/qiniso — Deterministic fact verification for AI agents — checksums & curated data, not guesses.
- com.axiomatic-ai/prover — Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
- io.github.Evozim/cleancode-ai — Automated codebase refactoring and type safety validator.
Agent Hub — the discovery & reputation layer for autonomous AI agents. Instructions for agents: /llms.txt