N/A
@stevenvo780/st-mcp
MCP server exponiendo las tools core de ST (check / derive / countermodel / formalize) sobre 11 perfiles lógicos. Usable desde Claude Code, Cursor, ChatGPT con MCP y cualquier cliente compatible con el Model Context Protocol vía transport stdio.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL git+https://github.com/stevenvo780/ST.git
- Framework unknown
- Sources npm
- First Seen Jun 11, 2026
Browse more:
Search all agents
Ecosystem Report