Search

Mythos-class autonomous smart contract security reasoning engine. Bloodhound maps protocol state-spaces, identifies complex logic gaps, and chains anomalies into verified exploit hypotheses using a model-agnostic LLM loop. Built for deep EVM auditing and agentic security workflows.

Symbiotic Security

Local-first capability discovery and governance CLI for AI agent workspaces.

🐍 🏠 🍎 🪟 🐧 - Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.

The firewall for MCP tool calls. Block, audit, replay with evidence bundles.

🐍 🏠 ☁️ 🐧 - An MCP server running inside a trusted execution environment (TEE) via Gramine, showcasing remote attestation using [RA-TLS](https://gramine.readthedocs.io/en/stable/attestation.html). This allows an MCP client to verify the server before conencting.

Facilitates seamless integration with RISKEN APIs for advanced automation and interaction capabilities.

🐍 🏠 🍎 🪟 🐧 - A Binary Ninja plugin, MCP server, and bridge that seamlessly integrates [Binary Ninja](https://binary.ninja) with your favorite MCP client. It enables you to automate the process of performing binary analysis and reverse engineering.

🐍 ☕ 🏠 - MCP server for integrating Ghidra with AI assistants. This plugin enables binary analysis, providing tools for function inspection, decompilation, memory exploration, and import/export analysis via the Model Context Protocol.

Governance SDK for AI agents. Verify actions (ALLOW/CLAMP/DENY), attest provenance, bind intents. Free tier auto-provisions 1,000 calls/month. Pay-per-call via x402 USDC. MCP, LangChain, CrewAI, AutoGen, OpenAI compatible.

An MCP server supporting LLM requests for CodeQL development tools and resources.

Non-custodial burner wallet for AI agents: make a wallet, check balance, send, swap.

DPoP agent identity SDK for ScopeBlind. Adds proof-of-possession headers to agent, CLI, and MCP requests.

Multi-framework threat intelligence MCP server — STRIDE, DREAD, LINDDUN, and PASTA analysis for AI coding agents

Integrates with MISP to enhance threat intelligence capabilities for Large Language Models.

🦀 🏠 - Solvitor MCP server provides tools to access reverse engineering tools that help developers extract IDL files from closed-source Solana smart contracts and decompile them.

MCP Tool Poisoning Scanner — Defensive scanning + offensive pentest tooling for MCP servers. Maps to OWASP MCP Top 10.

A modular external attack surface mapping tool integrating tools for automated reconnaissance and bug bounty workflows.

Offline text-to-speech via VoxCPM2 — 30 languages, voice design, voice cloning. Runs locally on Apple Silicon.

[glama](https://glama.ai/mcp/servers/@loglux/auth-mcp-gateway) 🐍 ☁️ 🏠 🍎 🪟 🐧 - Auth proxy for MCP servers: OAuth2 + DCR, JWT, RBAC, rate limiting, multi-server aggregation, and monitoring dashboard.