2
Published Tools
3
Total Stars
0
Weekly Downloads
9
GitHub Followers
27
Public Repos
Published Tools
2 MCP Serversacross 1 categorylihaokun
MCP server for Frama-C — enabling AI agents to interact with static analysis and formal verification
MCP Serveruncategorised
21 dir
lihaokun <[email protected]>
MCP server for Outlook — enables AI assistants to access email, contacts, and calendars via win32com
MCP Serveruncategorised
12 dirs