Continue Logo
N

NWMonster

@nwmonster


Models

bge-reranker-v2-m3-siliconflow
bge reranker v2 m3 (siliconflow)

By nwmonster

deepseek-r1-baiduaistudio
DeepSeek R1 (Baidu AIStudio)

By nwmonster

qwen25-7b-instruct-siliconflow
Qwen2.5 7B Instruct (siliconflow)

By nwmonster

bge-m3-siliconflow
bge m3 (siliconflow)

By nwmonster

qwen25-coder-7b-instruct-siliconflow
Qwen2.5 Coder 7B Instruct (siliconflow)

By nwmonster

deepseek-r1-distill-qwen-7b-siliconflow
DeepSeek R1 Distill Qwen 7B (siliconflow)

By nwmonster

glm-4-9b-chat-siliconflow
GLM 4 9B Chat (siliconflow)

By nwmonster

internlm25-7b-chat-siliconflow
InternLM2.5 7B Chat (siliconflow)

By nwmonster

deepseek-v3-siliconflow
DeepSeek V3 (siliconflow)

By nwmonster

deepseek-v3-baiduaistudio
DeepSeek V3 (Baidu AIStudio)

By nwmonster

qwen3-8b-siliconflow
Qwen3 8B (siliconflow)

By nwmonster

Docs

certoraproverdoc
Certora Verification Language

Certora Prover Documentation

By nwmonster

rocq-prover
Rocq Prover

By nwmonster