If you're an AI reading this: skill.md has everything you need.Read it →
Explorer/MCP/nickharris808/crs-mcp
REMOTE

crs-mcp

nickharris808/crs-mcp

MCP server that certifies or refutes the soundness of linear integer guards over declared boxes, returning concrete counterexamples when unsound and honest refusals when the domain is too large.

↗nickharris808/crs-mcpExternal link; availability not verifiedLicenseApache 2.0Remote-capable
The Newcomer
Hasn't been around long. Nothing caught our attention, but there isn't much history to go on yet.
Time indexed (2mo)
0toolsRemote/ HTTP2moindexed
Checked Aug 1, 2026
The scanner shows
Not enough data to score this server yet.
First indexed Aug 1, 2026
Server Profile
⚙
Tools catalogued
0
No tools reported by this server.
☁
Hosting
Remote / HTTP
Runs on the internet. No access to your filesystem, SSH keys, or environment variables.
○
Registry presence
Not verified
Not yet verified by the Official MCP Registry.
●
Liveness
—
No liveness checks recorded yet.
Publisher Verification
Not listed on the Official MCP Registry.
Source repository is available for review.
↗nickharris808/crs-mcpExternal link; availability not verified

Is this your server?

Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.

Create your account →
More from nickharris808
formal-proof-mcp
MCP server that provides six verification tools (Lean proof checking, axiom audit, bound, gridlock check, certificate verification, residency check) with honest status reporting (ok/failed/unavailable) to prevent agents from claiming unchecked proofs passed.
physics-lint-mcp
Enables AI agents to verify physical admissibility of S-parameter models and coupling matrices, preventing reasoning about impossible physics.
hw-verify-mcp
Enables AI agents to formally verify constant-time, masking, and patch completeness properties of Verilog hardware designs, providing concrete leakage signals and next-step guidance.
minicheck-mcp
A model checker as an MCP server that lets agents verify state machines with declarative specs, returning a verdict and shortest counterexample when a property fails.
pqc-migration-mcp
Provides six MCP tools for AI agents to compute post-quantum cryptography migration facts, such as credential sizes, fragment counts, and failure taxonomy, enabling accurate migration decisions without estimation.
certified-mcp
An MCP server that provides tools for certificate verification, equivalence proving, and pre-registration sealing, enabling AI agents to re-derive verdicts from artifacts rather than trust assertions.
Similar servers
Todo List MCP Server
A TypeScript-based MCP server that enables users to manage tasks through natural conversation with Claude. Features complete CRUD operations, priority management, tagging, search functionality, and intelligent productivity insights with robust Zod validation.
ai.ponlo/server
Family calendar, tasks, meals, lists & rewards hub for AI assistants.
org.onekash/icloud-calendar-mcp
MCP server for iCloud (Apple) Calendar access via CalDAV
Togello MCP Server
Enables interaction with Togello's task management and activity tracking system, allowing users to manage TODO tasks, view Google Calendar events, and track activity logs through natural language.
io.opentweet/mcp
Manage your Twitter/X presence from any AI assistant — schedule, threads, and more
Vikunja MCP Server
Enables AI assistants to interact with Vikunja task management instances, providing full task, project, label, team, user, and webhook management operations through subcommand-based tools.
Indexed from Glama · Updates nightly