← Back
io.github.phongndo/alive2-mcp
MCP ServerStatus: Published — critical fields verified, some fields unverified
io.github.phongndo/alive2-mcp: Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
- Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
Request operator identity verification
Risk
The official sources do not state enough to assess risk.
17
All fields
6
Verified
0
Verified empty
11
Unverified
MCP Server details
Server
| Server identifier | io.github.phongndo/alive2-mcp |
| Ecosystem | oci |
| Version | 0.1.2 |
| Transport | STDIO |
| Hosting | UNKNOWN |
| Endpoint | UNKNOWN |
Capability surface
| Tools | UNKNOWN |
| Resources | UNKNOWN |
| Prompts | UNKNOWN |
| Data access | UNKNOWN |
Authentication
| Auth scheme | UNKNOWN |
Destructive tool assessment
UNKNOWN Not assessed: the official source does not describe individual tools.
Critical Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Pricing | UNKNOWN | Not obtained | Not obtained | 0 |
| Availability | UNKNOWN | Not obtained | Not obtained | 0 |
| Language | UNKNOWN | Not obtained | Not obtained | 0 |
| Integration | UNKNOWN | Not obtained | Not obtained | 0 |
| Deployment | UNKNOWN | 2026-11-06 | Not obtained | 0 |
| Commercial use | UNKNOWN | 2026-11-06 | Not obtained | 0 |
Functional Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Capability | UNKNOWN | Not obtained | Not obtained | 0 |
| Automation behavior | UNKNOWN | 2026-11-06 | Not obtained | 0 |
| Input | UNKNOWN | 2026-11-06 | Not obtained | 0 |
| Output | UNKNOWN | 2026-11-06 | Not obtained | 0 |
Change history
- 2026-11-06 Published (some fields unverified)
Registered metadata
| auth_scheme | None |
| data_access | None |
| endpoint | UNKNOWN |
| entity_kind | MCP_SERVER |
| hosting | UNKNOWN |
| license | UNKNOWN |
| package_ecosystem | oci |
| package_identifier | ghcr.io/phongndo/alive2-mcp:0.1.2 |
| prompts | None |
| publisher | UNKNOWN |
| requires_secret | UNKNOWN |
| resources | None |
| server_identifier | io.github.phongndo/alive2-mcp |
| source_repository | https://github.com/phongndo/alive2-mcp |
| supported_clients | None |
| tools | None |
| transport | STDIO |
| version | 0.1.2 |
Field verification (17 fields)
| Field | Status | Confidence | Value | Last checked / observed | Evidence |
|---|---|---|---|---|---|
| auth_scheme | ? Unverified | Not obtained | UNKNOWN | 2026-11-06 | No evidence |
| data_access | ? Unverified | Not obtained | None | 2026-11-06 | No evidence |
| endpoint | ? Unverified | Not obtained | UNKNOWN | 2026-11-06 | No evidence |
| hosting | ? Unverified | Not obtained | UNKNOWN | 2026-11-06 | No evidence |
| license | ? Unverified | Not obtained | UNKNOWN | 2026-11-06 | No evidence |
| package_ecosystem | ✓ Verified | Not obtained | oci | 2026-11-06 | |
| package_identifier | ✓ Verified | Not obtained | ghcr.io/phongndo/alive2-mcp:0.1.2 | 2026-11-06 | |
| prompts | ? Unverified | Not obtained | None | 2026-11-06 | No evidence |
| publisher | ? Unverified | Not obtained | UNKNOWN | 2026-11-06 | No evidence |
| requires_secret | ? Unverified | Not obtained | UNKNOWN | 2026-11-06 | No evidence |
| resources | ? Unverified | Not obtained | None | 2026-11-06 | No evidence |
| server_identifier | ✓ Verified | Not obtained | io.github.phongndo/alive2-mcp | 2026-11-06 | |
| source_repository | ✓ Verified | Not obtained | https://github.com/phongndo/alive2-mcp | 2026-11-06 | |
| supported_clients | ? Unverified | Not obtained | None | 2026-11-06 | No evidence |
| tools | ? Unverified | Not obtained | None | 2026-11-06 | No evidence |
| transport | ✓ Verified | Not obtained | STDIO | 2026-11-06 | |
| version | ✓ Verified | Not obtained | 0.1.2 | 2026-11-06 |