Profile of taikt · PyPI

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

3 projects

spec-probe

Last released Sep 25, 2026

Verify C/C++ modules implement functional requirements from spec (LangGraph + LLM)

javis-agent

Last released Jan 20, 2026

AI agent for coding assistant

codeguard-lgedv

Last released Nov 5, 2025

MCP server for detecting C++ vulnerability

Anthropic, PBC Visionary sponsor

Bloomberg Visionary sponsor

Hudson River Trading Visionary sponsor

Meta Visionary sponsor

NVIDIA Visionary sponsor

Microsoft Sustainability sponsor

Depot Continuous Integration

AWS Cloud computing and Security Sponsor

Datadog Monitoring

Google Download Analytics

Sentry Error logging

StatusPage Status page