1. Conduid
  2. Content
  3. Invar
MCP server · Content

Invar

· github.com/Tefx/Invar

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

Unclaimed ai-agentsai-codingclaude-codecode-generationcursordesign-by-contractformal-verificationhypothesisllmmcpvibe-coding
InstallView source
34Low

Scored 10 hours ago · breakdown

About Invar

Invar is an MCP server in the Content category: from AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows. It has been installed 0 times through Conduid.

Install

Clone
git clone https://github.com/Tefx/Invar

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Invar

Powered by Claude · Grounded in docs

I know everything about Invar. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

  • ·README presentNot checked yet.
  • ·License declaredNot checked yet.
  • ·Tests presentNot checked yet.
  • ·Dependencies pinnedNot checked yet.
  • ·No dynamic code executionNot checked yet.
  • ·Scoped permissionsNot checked yet.
Questions

About Invar

How do I install Invar?

Run git clone https://github.com/Tefx/Invar, then add the server to your MCP client's configuration. Conduid has recorded 0 installs, so the command is known to work with current clients.

Is Invar safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Invar still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.