Add Viridis MCP to Tools#190
Open
jdhart81 wants to merge 1 commit into
Open
Conversation
Adding Viridis MCP — formally-verified MCP services for AI-agent security. Three live tools (also self-hostable via the open-source SDK): - /v1/injection/detect — returns verdict + probability + bitsAtRisk + matched VulnCanon entries (backed by T-IB-02 Adversarial Landauer + T-IB-06 Detection Lower Bound) - /v1/canon/scan — source-code scan against the public VulnCanon catalog (backed by T-IB-05 Canon Compression) - /v1/maxwell/challenge — adaptive PoW defense; defender pays log2(1/alpha)x attacker per bit (T-IB-09 Adversarial Dissipation) 7/7 corpus theorems formally proven in Lean 4 via Aristotle (Harmonic). Free tier with no credit card. Public artifacts: github.com/viridis-security/mcp-services-sdk + github.com/viridis-security/maxwells-defense + github.com/viridis-security/vulncanon
WalkthroughREADME.md의 Tools 섹션에 Viridis MCP 도구 항목이 추가되었습니다. 이 항목은 리포지토리 링크와 GitHub stars 배지를 포함하며, 기존 목록 구조에 새로운 행을 삽입하는 형태입니다. ChangesTools 목록 확장
🎯 1 (Trivial) | ⏱️ ~3 minutes 🚥 Pre-merge checks | ✅ 5✅ Passed checks (5 passed)
✏️ Tip: You can configure your own custom pre-merge checks in the settings. ✨ Finishing Touches🧪 Generate unit tests (beta)
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment Warning |
![coderabbitai[bot]](https://avatars.githubusercontent.com/in/347564?s=60&v=4){kind=small}
There was a problem hiding this comment.
🧹 Nitpick comments (1)
README.md (1)
122-122: ⚡ Quick win변동 가능 정보(무료 티어 수치/검증 개수)는 목록 설명에서 분리해 주세요.
Line 122는 다른 Tools 항목 대비 설명이 길고, 월별 무료 호출량·
7/7 verified같은 변경 가능 수치가 포함돼 문서가 빠르게 오래될 수 있습니다. 핵심 기능만 짧게 두고, 변동 정보는 공식 문서 링크로 위임하는 형태가 더 안전합니다.✂️ 제안 diff
-- [Viridis MCP](https://github.com/viridis-security/mcp-services-sdk): Aristotle-verified MCP services for AI-agent security — adversarial injection detection with bits-at-risk per Adversarial Landauer, VulnCanon source scanning, and Maxwell adaptive proof-of-work defense. Free tier with 1,000 detect calls + 10 canon scans per month. Backing theorems formally proven in Lean 4 by Aristotle (Harmonic, 7/7 verified).  +- [Viridis MCP](https://github.com/viridis-security/mcp-services-sdk): formally verified MCP services for AI-agent security, including prompt-injection detection, VulnCanon scanning, and adaptive proof-of-work defense. 🤖 Prompt for AI Agents
Verify each finding against current code. Fix only still-valid issues, skip the rest with a brief reason, keep changes minimal, and validate. In `@README.md` at line 122, 리스트 항목 시작 텍스트 "[Viridis MCP](https://github.com/viridis-security/mcp-services-sdk)" 항목에서 월별 무료 호출량("Free tier with 1,000 detect calls + 10 canon scans per month")과 변경 가능한 검증 표기("7/7 verified") 같은 변동 정보는 제거하고 핵심 기능 설명(예: "Aristotle-verified MCP services for AI-agent security — adversarial injection detection, VulnCanon source scanning, Maxwell adaptive proof-of-work")만 남기세요; 제거한 수치와 상세 검증 상태는 항목 끝의 링크 또는 괄호 안에 "See official docs for current pricing/verification details" 같은 짧은 안내로 위임하여 문서 유지보수성을 높이세요.
🤖 Prompt for all review comments with AI agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.
Nitpick comments:
In `@README.md`:
- Line 122: 리스트 항목 시작 텍스트 "[Viridis
MCP](https://github.com/viridis-security/mcp-services-sdk)" 항목에서 월별 무료 호출량("Free
tier with 1,000 detect calls + 10 canon scans per month")과 변경 가능한 검증 표기("7/7
verified") 같은 변동 정보는 제거하고 핵심 기능 설명(예: "Aristotle-verified MCP services for
AI-agent security — adversarial injection detection, VulnCanon source scanning,
Maxwell adaptive proof-of-work")만 남기세요; 제거한 수치와 상세 검증 상태는 항목 끝의 링크 또는 괄호 안에 "See
official docs for current pricing/verification details" 같은 짧은 안내로 위임하여 문서 유지보수성을
높이세요.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adding Viridis MCP — formally-verified MCP services for AI-agent security.
Three live tools (also self-hostable via the open-source SDK):
7/7 corpus theorems formally proven in Lean 4 via Aristotle (Harmonic). Free tier with no credit card.
Public artifacts: github.com/viridis-security/mcp-services-sdk + github.com/viridis-security/maxwells-defense + github.com/viridis-security/vulncanon
Summary by CodeRabbit
문서