LOGIN-TB/
claude-skills
LOGIN-TB/claude-skillsCollections
Agent Skills von LOGIN zur freien Nutzung - SKILL.md-Format fuer Claude Code, Claude-App und API
69
angrysky56/mcp-logicConnectors
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
46